Merge branch 'PHP-7.1'

Author: nikic

ext/session/tests/bug60860-win32.phpt

@@ -3,9 +3,6 @@ Bug #60860 (session.save_handler=user without defined function core dumps)
 --SKIPIF--
 <?php
 include('skipif.inc');
-if (substr(PHP_OS, 0, 3) == 'WIN') {
-    die('skip not for Windows');
-}
 ?>
 --INI--
 session.save_handler=user

ext/session/tests/bug60860.phpt

@@ -4,7 +4,6 @@ Bug #66481: Calls to session_name() segfault when session.name is null.
 session.name=
 --SKIPIF--
 <?php include('skipif.inc'); ?>
-<?php if(substr(PHP_OS, 0, 3) == "WIN") die("skip Not for Windows"); ?>
 --FILE--
 <?php
 ob_start();

ext/session/tests/bug66481-win32.phpt

@@ -6,8 +6,6 @@ error_log=
 --SKIPIF--
 <?php 
 include('skipif.inc');
-if(substr(PHP_OS, 0, 3) == "WIN")
-        die("skip Not for Windows");
 ?>
 --FILE--
 <?php

ext/session/tests/bug66481.phpt

@@ -6,8 +6,6 @@ error_log=
 --SKIPIF--
 <?php 
 include('skipif.inc');
-if(substr(PHP_OS, 0, 3) == "WIN")
-        die("skip Not for Windows");
 ?>
 --FILE--
 <?php

ext/session/tests/rfc1867_invalid_settings-win.phpt

@@ -7,9 +7,6 @@ display_errors=off
 --SKIPIF--
 <?php
 include('skipif.inc');
-if (substr(PHP_OS, 0, 3) == 'WIN') {
-    die('skip not for Windows');
-}
 ?>
 --FILE--
 <?php