<?php if (!method_exists('DateInterval', 'format')) die("skip: method doesn't exist"); ?>
--FILE--
<?php
+date_default_timezone_set('UTC');
$date1 = new DateTime('2000-01-01 00:00:00');
$date2 = new DateTime('2001-03-04 04:05:06');
Bug #48187 (DateTime::diff() corrupting microtime() result)
--FILE--
<?php
+date_default_timezone_set('UTC');
+
// two arbitrary dates
$date1 = new DateTime('2005-07-23');
$date2 = new DateTime('2006-02-14');
Bug #51819 (Case discrepancy in timezone names cause Uncaught exception and fatal error)
--FILE--
<?php
+date_default_timezone_set('UTC');
+
$aTzAbbr = timezone_abbreviations_list();
$aTz = array();
Bug #51866 (Lenient parsing with parseFromFormat)
--FILE--
<?php
+date_default_timezone_set('UTC');
+
$tests = array(
array( 'Y-m-d', '2001-11-29 13:20:01' ),
array( 'Y-m-d+', '2001-11-29 13:20:01' ),