I am using FileAPI to get the HTTP-header Last-Modified time of a file, which is returning the following string:
Fri Oct 25 2013 12:04:10 GMT+0100 (GMT Daylight Time)
This is then posted to PHP and I need it converted to something sensible, preferably a timestamp. Before you suggest it, strtotime() returns FALSE.
Can't seem to find any answer to this anywhere.