Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fixed bug #73793 (WDDX uses wrong decimal seperator)

diff --cc NEWS
index cd0ce8a9dbcafd9d9c97f6afc80f5f84299141a3,75a400968f8d543c930fc935de33819bb7fe61e8..2163981f6bb00ff5587ea5892196dec04f394d09
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,46 -1,11 +1,49 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.9
 +?? ??? ????, PHP 7.2.0beta3
 +
 +- Date:
 +  . Fixed bug #75002 (Null Pointer Dereference in timelib_time_clone). (Derick)
 +
 +- FTP:
 +  . Added ftp_append() function. (blar)
 +
 +- Mbstring:
 +  . Fixed bug #75001 (Wrong reflection on mb_eregi_replace). (Fabien
 +    Villepinte)
 +
 +- SQLite3:
 +  . Updated to SQLite 3.20.0. (cmb)
 +
 +- SPL:
 +  . Fixed bug #75049 (spl_autoload_unregister can't handle
 +    spl_autoload_functions results). (Laruence)
 +  . Added spl_object_id(). (Tyson Andre)
 +
 +- Standard:
 +  . Fixed bug #74103 (heap-use-after-free when unserializing invalid array
 +    size). (Nikita)
 +  . Fixed bug #75054 (A Denial of Service Vulnerability was found when
 +    performing deserialization). (Nikita)
 +
++- WDDX:
++  . Fixed bug #73793 (WDDX uses wrong decimal seperator). (cmb)
++
 +- XMLRPC:
 +  . Fixed bug #74975 (Incorrect xmlrpc serialization for classes with declared
 +    properties). (blar)
 +
 +03 Aug 2017, PHP 7.2.0beta2
  
  - Core:
 +  . Implemented FR #74963 (Improved error message on fetching property of
 +    non-object). (Laruence)
    . Fixed bug #74947 (Segfault in scanner on INF number). (Laruence)
    . Fixed bug #74954 (null deref and segfault in zend_generator_resume()). (Bob)
 -  . Fixed bug #74725 (html_errors=1 breaks unhandled exceptions). (Andrea)
 +
 +- CLI:
 +  . Fixed bug #74979 (Interactive shell opening instead of script execution
 +    with -f flag). (Anatol)
  
  - cURL:
    . Fixed bug #74125 (Fixed finding CURL on systems with multiarch support).

diff --cc ext/wddx/wddx.c
Simple merge