date.php
changeset 84 5a1173356865
parent 68 7c579ee800fd
     1.1 --- a/date.php	Thu Aug 16 16:29:13 2007 +0100
     1.2 +++ b/date.php	Sun Aug 10 17:45:20 2008 +0200
     1.3 @@ -594,7 +594,7 @@
     1.4  		{
     1.5  			$year = '([0-9]{4})';
     1.6  			$month = $day = $hour = $minute = $second = '([0-9]{2})';
     1.7 -			$decimal = '([0-9]+)';
     1.8 +			$decimal = '([0-9]*)';
     1.9  			$zone = '(?:(Z)|([+\-])([0-9]{1,2}):?([0-9]{1,2}))';
    1.10  			$pcre = '/^' . $year . '(?:-?' . $month . '(?:-?' . $day . '(?:[Tt\x09\x20]+' . $hour . '(?::?' . $minute . '(?::?' . $second . '(?:.' . $decimal . ')?)?)?' . $zone . ')?)?)?$/';
    1.11  		}