Description:
------------
After upgrading to PHP 7.1.3 I noticed that microseconds are now missing from DateTime objects.

Test script:
---------------
<?php
var_dump(new \DateTime());

Expected result:
----------------
Microseconds part of $date field should not be 000000 (or not always ;) )

Actual result:
--------------
class DateTime#1 (3) {
  public $date =>
  string(26) "2017-03-17 08:25:48.000000"
  public $timezone_type =>
  int(3)
  public $timezone =>
  string(13) "Europe/Berlin"
}