[PHP-WEBMASTER] [web-php] PR #1036: Trim mirroring docs

[jimwins]

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

Just gets rid of old information that was only relevant for "official" mirrors 
for PHP.net, which aren't a thing any longer.