Turns out these were not the cause of a problem I had with PHP5, but they should be fixed anyway.
Attach a file by drag & drop or click to upload
