From c11850b4066663c07c20254e5c4203d7d7d10e8b Mon Sep 17 00:00:00 2001
From: Kai Schroeder <k.schroeder@php.net>
Date: Sat, 17 Jul 2010 23:20:24 +0000
Subject: [PATCH] Test for #51819

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

diff --git a/ext/date/tests/bug51819.phpt b/ext/date/tests/bug51819.phpt
new file mode 100644
index 0000000000..afcb9c7d48
--- /dev/null
+++ b/ext/date/tests/bug51819.phpt
@@ -0,0 +1,31 @@
+--TEST--
+Bug #51819 (Case discrepancy in timezone names cause Uncaught exception and fatal error)
+--FILE--
+<?php
+$aTzAbbr = timezone_abbreviations_list();
+
+$aTz = array();
+foreach (array_keys($aTzAbbr) as $sKey) {
+    foreach (array_keys($aTzAbbr[$sKey]) as $iIndex) {
+        $sTz = $aTzAbbr[$sKey][$iIndex]['timezone_id'];
+
+        if (! in_array($sTz, $aTz)) {
+            array_push($aTz, $sTz);
+        }
+    }
+}
+
+foreach ($aTz as $sTz) {
+    $sDate = '2010-05-15 00:00:00 ' . $sTz;
+
+    try {
+        $oDateTime = new DateTime($sDate);
+    } catch (Exception $oException) {
+        var_dump($oException->getMessage());
+    }
+}
+
+var_dump('this should be the only output');
+?>
+--EXPECTF--
+string(30) "this should be the only output"
\ No newline at end of file
-- 
2.40.0