Я использую FileAPI
для получения времени последней модификации файла HTTP-заголовка, который возвращает следующую строку:
Fri Oct 25 2013 12:04:10 GMT+0100 (GMT Daylight Time)
Затем это отправляется в PHP, и мне нужно преобразовать его во что-то разумное, предпочтительно в метку времени. Прежде чем вы предложите это, strtotime()
возвращает FALSE
.
Кажется, нигде не найти ответа на этот вопрос.
echo strtotime('Fri Oct 25 2013 12:04:10 GMT+0100');
=›1382699050
.strtotime()
МОЖЕТ проанализировать этот формат даты... - person marekful   schedule 06.12.2013