diff --git a/ext/date/tests/bug73837.phpt b/ext/date/tests/bug73837.phpt new file mode 100644 index 00000000000..220deb6121f --- /dev/null +++ b/ext/date/tests/bug73837.phpt @@ -0,0 +1,17 @@ +--TEST-- +Bug #73837: Milliseconds in DateTime() +--FILE-- +format( "u" ); + $collect[$key] = true; +} + +echo ( count( $collect ) > 990 ) ? "microseconds differ\n" : "microseconds do not differ enough\n"; +?> +--EXPECT-- +microseconds differ