[PHP-WEBMASTER] [web-php] PR #1085: svn.php.net is no longer online

[jimwins]

Pull Request: https://github.com/php/web-php/pull/1085
Author: jimwins