note 123770 added to class.dateinterval

Just tried the code submitted earlier on php 7.2.16: <?php $d1=new DateTime("2012-07-08 11:14:15.638276"); $d2=new DateTime("2012-07-08 11:14:15.889342"); $diff=$d2->diff($d1); print_r( $diff ) ; ?> and it now DOES return microsecond differences, in the key 'f': <?php DateInterval Object ( [y] => 0 [m] => 0 [d] => 0 [h] => 0 [i] => 0 [s] => 0 [f] => 0.251066 [weekday] => 0 [weekday_behavior] => 0 [first_last_day_of] => 0 [invert] => 1 [days] => 0 [special_type] => 0 [special_amount] => 0 [have_weekday_relative] => 0 [have_special_relative] => 0 ) ?> ---- Server IP: 208.43.231.9 Probable Submitter: 185.85.3.142 (proxied: 82.68.47.198) ---- Manual Page -- http://php.net/manual/en/class.dateinterval.php Edit -- https://master.php.net/note/edit/123770 Del: integrated -- https://master.php.net/note/delete/123770/integrated Del: useless -- https://master.php.net/note/delete/123770/useless Del: bad code -- https://master.php.net/note/delete/123770/bad+code Del: spam -- https://master.php.net/note/delete/123770/spam Del: non-english -- https://master.php.net/note/delete/123770/non-english Del: in docs -- https://master.php.net/note/delete/123770/in+docs Del: other reasons-- https://master.php.net/note/delete/123770 Reject -- https://master.php.net/note/reject/123770 Search -- https://master.php.net/manage/user-notes.php