From ee49d4b4be730af17881dada989d9e1d9110079b Mon Sep 17 00:00:00 2001
From: Derick Rethans <github@derickrethans.nl>
Date: Fri, 24 Mar 2017 11:39:32 +0000
Subject: [PATCH] Added a test case to make sure microseconds work.

---
 ext/date/tests/bug73837.phpt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 ext/date/tests/bug73837.phpt

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