Commit: 009b722ce849e1fe431f050ef6126ddbd4be9efb Author: Connor A. Gurney <c...@gxrney.me> Fri, 21 Jul 2017 20:50:49 +0100 Committer: GitHub <nore...@github.com> Fri, 21 Jul 2017 20:50:49 +0100 Parents: 7ebf233490b596b5300805171941af5551e41d00 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=009b722ce849e1fe431f050ef6126ddbd4be9efb Log: Remove source.php from robots.txt I've removed source.php from robots.txt as source.php no longer exists, and was still in the list from the previous version of PHP.net. Changed paths: M robots.txt Diff: diff --git a/robots.txt b/robots.txt index 493a453..4348f2d 100644 --- a/robots.txt +++ b/robots.txt @@ -3,7 +3,6 @@ Disallow: /backend/ Disallow: /distributions/ Disallow: /stats/ Disallow: /server-status/ -Disallow: /source.php Disallow: /search.php Disallow: /mod.php Disallow: /manual/add-note.php -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php