Home
last modified time | relevance | path

Searched refs:hour (Results 1 – 3 of 3) sorted by relevance

/dokuwiki/vendor/simplepie/simplepie/src/Parse/
H A DDate.php696 (?P<hour>[0-9]{2})
727 $hour = isset($match['hour']) ? (int) $match['hour'] : 0;
743 return gmmktime($hour, $minute, $second, $month, $day, $year) - $timezone;
815 $hour = $minute = $second = '([0-9]{2})';
820 $pcre = '/(?:' . $optional_fws . $day_name . $optional_fws . ',)?' . $optional_fws . $day . $fws . $month . $fws . $year . $fws . $hour . $optional_fws . ':' . $optional_fws . $minute . '(?:' . $optional_fws . ':' . $optional_fws . $second . ')?' . $fws . $zone . '/i';
892 $year = $hour = $minute = $second = '([0-9]{2})';
894 $pcre = '/^' . $day_name . ',' . $space . $day . '-' . $month . '-' . $year . $space . $hour . ':' . $minute . ':' . $second . $space . $zone . '$/i';
948 $hour
[all...]
/dokuwiki/vendor/splitbrain/php-archive/src/
H A DZip.php883 $hour = ($mtime & 0xF800) >> 11;
887 $mtime = mktime($hour, $minute, $seconde, $month, $day, $year);
/dokuwiki/vendor/openpsa/universalfeedcreator/
H A DREADME.md15 $rss->useCached(); // use cached version if age < 1 hour