[PHP-WEBMASTER] [web-php] master: Point "Report a Bug" to github

[Nikita Popov]

Author: Nikita Popov (nikic)
Date: 2021-05-25T22:41:46+02:00

Commit: 
https://github.com/php/web-php/commit/ece41d32e52b0cf99d2f886f429aca32da2662d7
Raw diff: 
https://github.com/php/web-php/commit/ece41d32e52b0cf99d2f886f429aca32da2662d7.diff

Point "Report a Bug" to github

Changed paths:
  M  include/shared-manual.inc


Diff:

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 64241731c..43dc1dfce 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -449,7 +449,7 @@ function manual_setup($setup) {
     </div>
     <div class="edit-bug">
       <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>
+      <a 
href="https://github.com/php/doc-en/issues/new?body=From%20manual%20page:%20https:%2F%2Fphp.net%2F$id%0A%0A---";>Report
 a Bug</a>
     </div>
   </div>
 PAGE_TOOLS;

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