Merge branch 'PHP-7.0' into PHP-7.1
authorAnatol Belski <ab@php.net>
Sat, 19 Aug 2017 00:01:03 +0000 (02:01 +0200)
committerAnatol Belski <ab@php.net>
Sat, 19 Aug 2017 00:01:03 +0000 (02:01 +0200)
commit97ed208cfd556574e06e98305b9a4cb002891a3f
tree4bcca39c8362d4b75e15ebf2843cebd3d24fbb1d
parent5ef63b6f0ea3f98537d6fba7ae28f7d1c3e6fbfd
parent71b12940d0349e58f8719a22e0d4667f19c13dcf
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Fix issues with phpt and EXTENSION on windows (BUG 75042)
run-tests.php