note 114656 added to datetime.diff

It seems that while DateTime in general does preserve microseconds, DateTime::diff doesn't appear to account for it when comparing. Example: <?php $val1 = '2014-03-18 10:34:09.939'; $val2 = '2014-03-18 10:34:09.940'; $datetime1 = new DateTime($val1); $datetime2 = new DateTime($val2); echo "<pre>"; var_dump($datetime1->diff($datetime2)); if($datetime1 > $datetime2) echo "1 is bigger"; else echo "2 is bigger"; ?> The var_dump shows that there is no "u" element, and "2 is bigger" is echoed. To work around this apparent limitation/oversight, you have to additionally compare using DateTime::format. Example: <?php if($datetime1 > $datetime2) echo "1 is bigger"; else if ($datetime1->format('u') > $datetime2->format('u')) echo "1 is bigger"; else echo "2 is bigger"; ?> ---- Server IP: 64.71.164.2 Probable Submitter: 2001:5b0:25ff:2cf0::36 ---- Manual Page -- http://php.net/manual/en/datetime.diff.php Edit -- https://master.php.net/note/edit/114656 Del: integrated -- https://master.php.net/note/delete/114656/integrated Del: useless -- https://master.php.net/note/delete/114656/useless Del: bad code -- https://master.php.net/note/delete/114656/bad+code Del: spam -- https://master.php.net/note/delete/114656/spam Del: non-english -- https://master.php.net/note/delete/114656/non-english Del: in docs -- https://master.php.net/note/delete/114656/in+docs Del: other reasons-- https://master.php.net/note/delete/114656 Reject -- https://master.php.net/note/reject/114656 Search -- https://master.php.net/manage/user-notes.php