Merge branch 'PHP-7.1'
authorAnatol Belski <ab@php.net>
Fri, 13 Jan 2017 15:55:49 +0000 (16:55 +0100)
committerAnatol Belski <ab@php.net>
Fri, 13 Jan 2017 15:55:49 +0000 (16:55 +0100)
* PHP-7.1:
  ensure the end path wouldn't contain double slashes


Trivial merge