Может пригодиться, к примеру, для задач кеширования. Мы запросим с сервера только заголовки файла и извлечем из них значение last-modified.
Почти готовый вариант я нашел в сети, чуть-чуть изменил для своих задач. Принцип описан ваше.
На входе — URL. На выходе последняя дата изменения файла или текущее время, если прочитать данные не удалось.
|
|
function get_lastmod_time($url) { $time = time(); $h = @get_headers($url, 1); if (stristr($h[0], '200')) { foreach($h as $k=>$v) { if (strtolower(trim($k)) == "last-modified") { $time = strtotime($v); break; } } } return $time; } |
Данная запись опубликована в 01.01.2018 23:06 и размещена в рубрике PHP.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Сентябрь 3, 2013 г.
Есть несколько задач, связанных с конвертацией документов в PDF. Меня интересует перевод из HTML и создание PDF средствами PHP.
Конвертировать страницу, отображенную в браузере в PDF.
Здесь обычно используют плагины. Это работает до тех пор, пока ...
Читать
Ноябрь 19, 2019 г.
При создании расписаний, календарей, и т.п. могут возникать задачи вроде - получить timestamp первого дня этого месяца, или последнего дня следующего и т.п.
В лоб это решается вот так:
[crayon-6a25ea96499c3001063232/]
Со следующим месяцем ...
Читать
Август 1, 2017 г.
Насколько похожи две строки? В PHP для выяснения подобия строк есть две функции - similar_text() и levenshtein().
Первая из них считает процент ...
Читать
Февраль 27, 2019 г.
Это частая задача возникает при чтении логов, пользовательских данных и .т.п. PHP даёт пару отличных инструментов, для её решения.
Функция strtotime()
Эта функция с довольно сложным функционалом, пытается определить не только формат пользовательского ...
Читать