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 }