/usr/share/php/Sabre/HTTP/Util.php is in php-sabre-dav 1.8.12-1ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 | <?php
namespace Sabre\HTTP;
/**
* HTTP utility methods
*
* @copyright Copyright (C) 2007-2015 fruux GmbH (https://fruux.com/).
* @author Evert Pot (http://evertpot.com/)
* @author Paul Voegler
* @license http://sabre.io/license/ Modified BSD License
*/
class Util {
/**
* Parses a RFC2616-compatible date string
*
* This method returns false if the date is invalid
*
* @param string $dateHeader
* @return bool|DateTime
*/
static function parseHTTPDate($dateHeader) {
//RFC 2616 section 3.3.1 Full Date
//Only the format is checked, valid ranges are checked by strtotime below
$month = '(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)';
$weekday = '(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)';
$wkday = '(Mon|Tue|Wed|Thu|Fri|Sat|Sun)';
$time = '[0-2]\d(\:[0-5]\d){2}';
$date3 = $month . ' ([1-3]\d| \d)';
$date2 = '[0-3]\d\-' . $month . '\-\d\d';
//4-digit year cannot begin with 0 - unix timestamp begins in 1970
$date1 = '[0-3]\d ' . $month . ' [1-9]\d{3}';
//ANSI C's asctime() format
//4-digit year cannot begin with 0 - unix timestamp begins in 1970
$asctime_date = $wkday . ' ' . $date3 . ' ' . $time . ' [1-9]\d{3}';
//RFC 850, obsoleted by RFC 1036
$rfc850_date = $weekday . ', ' . $date2 . ' ' . $time . ' GMT';
//RFC 822, updated by RFC 1123
$rfc1123_date = $wkday . ', ' . $date1 . ' ' . $time . ' GMT';
//allowed date formats by RFC 2616
$HTTP_date = "($rfc1123_date|$rfc850_date|$asctime_date)";
//allow for space around the string and strip it
$dateHeader = trim($dateHeader, ' ');
if (!preg_match('/^' . $HTTP_date . '$/', $dateHeader))
return false;
//append implicit GMT timezone to ANSI C time format
if (strpos($dateHeader, ' GMT') === false)
$dateHeader .= ' GMT';
$realDate = strtotime($dateHeader);
//strtotime can return -1 or false in case of error
if ($realDate !== false && $realDate >= 0)
return new \DateTime('@' . $realDate, new \DateTimeZone('UTC'));
}
/**
* Transforms a DateTime object to HTTP's most common date format.
*
* We're serializing it as the RFC 1123 date, which, for HTTP must be
* specified as GMT.
*
* @param \DateTime $dateTime
* @return string
*/
static function toHTTPDate(\DateTime $dateTime) {
// We need to clone it, as we don't want to affect the existing
// DateTime.
$dateTime = clone $dateTime;
$dateTime->setTimeZone(new \DateTimeZone('GMT'));
return $dateTime->format('D, d M Y H:i:s \G\M\T');
}
}
|