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

Reply via email to