[PHP-WEBMASTER] [web-php] PR #1035: Remove docs.php.net, it's not user-visible any longer (closes #996)

[saundefined]

Pull Request: https://github.com/php/web-php/pull/1035

Closed by saundefined.