Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  Copy dba_*() keys before converting to string.

diff --cc NEWS
index aa3f8d212564adb5beaee50d5c56317fd813fa5f,e17632543c442d72298899a95e5db9ead1fd04e3..e02d1b93083bbb1a041bcb64b3e822d6153d0e18
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -5,17 -5,19 +5,21 @@@ PH
  - CLI server:
    . Fixed bug #65633 (built-in server treat some http headers as
      case-sensitive). (Adam)
 +  . Added application/pdf to PHP CLI Web Server mime types (Chris Jones)
  
  - Datetime:
 -  . Fixed bug #64157 (DateTime::createFromFormat() reports confusing error
 -    message). (Boro Sitnikovski)
 +  . Fixed bug #65502 (DateTimeImmutable::createFromFormat returns DateTime).
 +    (Boro Sitnikovski)
 +  . Fixed bug #65548 (Comparison for DateTimeImmutable doesn't work).
 +    (Boro Sitnikovski)
  
 -- Filter:
 -  . Add RFC 6598 IPs to reserved addresses. (Sebastian Nohn)
 -  . Fixed bug #64441 (FILTER_VALIDATE_URL rejects fully qualified domain names).
 -    (Syra)
+ - DBA extension:
+   . Fixed bug #65708 (dba functions cast $key param to string in-place,
+     bypassing copy on write). (Adam)
+ 
 +- GD
 +  . Ensure that the defined interpolation method is used with the generic
 +    scaling methods. (Pierre)
  
  - IMAP:
    . Fixed bug #65721 (configure script broken in 5.5.4 and 5.4.20 when enabling