Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Still leaking for some reason, XFAIL for now, I'll look into it later.

Author: smalyshev

ext/wddx/tests/bug73631.phpt

@@ -2,6 +2,8 @@
 Bug #73631 (Memory leak due to invalid wddx stack processing)
 --SKIPIF--
 <?php if (!extension_loaded("wddx")) print "skip"; ?>
+---XFAIL--
+Still has memory leaks in debug build.
 --FILE--
 <?php
 $xml = <<<EOF