com web/php: Remove source.php from robots.txt: robots.txt
| From: | Peter Cowburn | Date: | Fri, 21 Jul 2017 19:50:49 +0000 |
| Subject: | com web/php: Remove source.php from robots.txt: robots.txt | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26280@lists.php.net to get a copy of this message | ||
Commit: 009b722ce849e1fe431f050ef6126ddbd4be9efb
Author: Connor A. Gurney <con@gxrney.me> Fri, 21 Jul 2017 20:50:49 +0100
Committer: GitHub <noreply@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