Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix bug #69954 and remove pdo_mysql.cache_size and mysqli.cache_size INI directives

diff --cc NEWS
index 38af2a6f8388eaef0eddcb620d8279af6f35def4,fbf69e936d86a6788edad0033eb50944f885620c..576e66544fac97468e5e2fe679ea6b9d6ec9d92e
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,29 -1,16 +1,31 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.2.0RC5
 +?? ??? ????, PHP 7.3.0alpha1
  
  - Core:
 -  . Fixed bug #75368 (mmap/munmap trashing on unlucky allocations). (Nikita,
 -    Dmitry)
 +  . Redesigned the old ext_skel program written in PHP, run: 
 +    'php ext_skel.php' for all options. This means there is no dependencies 
 +    thrus making it work on Windows out of the box. (Kalle)
 +  . Removed support for BeOS. (Kalle)
 +  . Fixed bug #75031 (support append mode in temp/memory streams). (adsr)
 +  . Fixed bug #74860 (Uncaught exceptions not being formatted properly when
 +    error_log set to "syslog"). (Philip Prindeville)
 +  . Fixed bug #75220 (Segfault when calling is_callable on parent). 
 +    (andrewnester)
+   . Fixed bug #69954 (broken links and unused config items in distributed ini
+     files). (petk)
  
 -- CLI:
 -  . Fixed bug #75287 (Builtin webserver crash after chdir in a shutdown
 -    function). (Laruence)
 +- BCMath:
 +  . Fixed bug #66364 (BCMath bcmul ignores scale parameter). (cmb)
 +      . Implemented request #67855 (No way to get current scale in use). (Chris
 +        Wright, cmb)
 +  . Fixed bug #75164 (split_bc_num() is pointless). (cmb)
 +  . Fixed bug #75169 (BCMath errors/warnings bypass PHP's error handling). (cmb)
 +
 +- Date:
 +  . Implemented FR #74668: Add DateTime::createFromImmutable() method.
 +    (majkl578, Rican7)
 +  . Fixed bug #75222 (DateInterval microseconds property always 0). (jhdxr)
  
  - DBA:
    . Fixed bug #75264 (compiler warnings emitted). (petk)

diff --cc php.ini-development
Simple merge

diff --cc php.ini-production
Simple merge