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.
Fortunately since 5.3.0 there is
DateTime::createFromFormat()
. Although it cannot parse the trailing information it is at least able to ignore it using the+
specifier. You don't need that information in order to create a timestamp as you already have the, machine parsable,GMT+0100
.Example:
Output: