HHVM-158: Change JSON encoding for UTCDateTime to use a date string

Author: derickr

ext_mongodb.php

@@ -1471,8 +1471,13 @@ public function serialize() : string
 
 	public function jsonSerialize() : mixed
 	{
+		$seconds = (int) ( $this->milliseconds / 1000 );
+		$millis =  (int) ( $this->milliseconds % 1000 );
+
+		$d = date_create( "@" . (string) $seconds );
+
 		return [
-			'$date' => (int) $this->milliseconds
+			'$date' => sprintf( "%s.%03d+0000", $d->format( 'Y-m-d\TH:i:s' ), $millis )
 		];
 	}
 

tests/json-serialize-utcdatetime.phpt

@@ -3,7 +3,7 @@ JsonSerializable: UTCDateTime
 --FILE--
 <?php
 $doc = [
-	'foo' => new MongoDB\BSON\UTCDateTime( new \DateTime( '2016-10-11 13:34:26 UTC' ) )
+	'foo' => new MongoDB\BSON\UTCDateTime( new \DateTime( '2016-10-11 13:34:26.817 UTC' ) )
 ];
 
 echo MongoDB\BSON\toJSON( \MongoDB\BSON\fromPHP( $doc ) ), "\n";
@@ -13,12 +13,12 @@ echo $d, "\n";
 var_dump( \MongoDB\BSON\toPHP( \MongoDB\BSON\fromJSON( $d ) ) );
 ?>
 --EXPECTF--
-{ "foo" : { "$date" : 1476192866000 } }
-{"foo":{"$date":1476192866000}}
+{ "foo" : { "$date" : 1476192866817 } }
+{"foo":{"$date":"2016-10-11T13:34:26.817+0000"}}
 object(stdClass)#%d (%d) {
   ["foo"]=>
   object(MongoDB\BSON\UTCDateTime)#%d (%d) {
     ["milliseconds"]=>
-    string(13) "1476192866000"
+    string(13) "1476192866817"
   }
 }