Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Skip this test if ext/session is not available

Author: cmb69

ext/wddx/tests/bug70741.phpt

@@ -3,6 +3,7 @@ Bug #70741 (Session WDDX Packet Deserialization Type Confusion Vulnerability)
 --SKIPIF--
 <?php
 if (!extension_loaded("wddx")) print "skip";
+if (!extension_loaded("session")) print "skip session extension not available";
 ?>
 --FILE--
 <?php