[PHP-WEBMASTER] com web/php: Replace "Edit" with "Submit a Pull Request" link: include/shared-manual.inc

[Christoph Michael Becker]

Commit:    019f279c9f88699fd4e1b8edb81f9da9d3dfab94
Author:    Christoph M. Becker <cmbecke...@gmx.de>         Wed, 30 Dec 2020 
15:49:33 +0100
Parents:   28820a8c5980c9e0168750d4c21bf049953581af
Branches:  master

Link:       
http://git.php.net/?p=web/php.git;a=commitdiff;h=019f279c9f88699fd4e1b8edb81f9da9d3dfab94

Log:
Replace "Edit" with "Submit a Pull Request" link

Since the documentation has moved from SVN to Git, we replace the
"Edit" links in the manual with links to the respective GH mirrors.

Closes GH-389.

Changed paths:
  M  include/shared-manual.inc


Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index d534b0384..47fa00e31 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -441,13 +441,14 @@ function manual_setup($setup) {
 
     $id = substr($setup['this'][0], 0, -4);
     $language_chooser = 'manual_language_chooser';
+    $repo = strtolower($config['lang']); // pt_BR etc.
     echo <<<PAGE_TOOLS
   <div class="page-tools">
     <div class="change-language">
       {$language_chooser($config['lang'], $config['thispage'])}
     </div>
     <div class="edit-bug">
-      <a 
href="https://edit.php.net/?project=PHP&amp;perm={$config['lang']}/{$config['thispage']}">Edit</a>
+      <a href="https://github.com/php/doc-{$repo}";>Submit a Pull Request</a>
       <a 
href="https://bugs.php.net/report.php?bug_type=Documentation+problem&amp;manpage=$id";>Report
 a Bug</a>
     </div>
   </div>


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php