Fixed bug GH-11854 (DateTime:createFromFormat stopped parsing datetime with extra space)

Author: derickr

NEWS

@@ -6,6 +6,10 @@ PHP                                                                        NEWS
   . Fixed bug GH-11716 (cli server crashes on SIGINT when compiled with
     ZEND_RC_DEBUG=1). (nielsdos)
 
+- Date:
+  . Fixed bug GH-11854 (DateTime:createFromFormat stopped parsing datetime with
+    extra space). (nielsdos, Derick)
+
 - DOM:
   . Fix DOMEntity field getter bugs. (nielsdos)
   . Fix incorrect attribute existence check in DOMElement::setAttributeNodeNS.

ext/date/tests/gh11854.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Bug GH-11854 (DateTime:createFromFormat stopped parsing DateTime with extra space)
+--INI--
+date.timezone=UTC
+--FILE--
+<?php
+$dateTime = DateTime::createFromFormat("D M d H:i:s Y", "Wed Aug  2 08:37:50 2023");
+
+var_dump($dateTime);
+?>
+--EXPECTF--
+object(DateTime)#1 (3) {
+  ["date"]=>
+  string(26) "2023-08-02 08:37:50.000000"
+  ["timezone_type"]=>
+  int(3)
+  ["timezone"]=>
+  string(3) "UTC"
+}