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

Commit: 019f279c9f88699fd4e1b8edb81f9da9d3dfab94 Author: Christoph M. Becker <cmbecker69@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>