[web-php] master: Point "Report a Bug" to github
| From: | Nikita Popov | Date: | Tue, 25 May 2021 20:41:32 +0000 |
| Subject: | [web-php] master: Point "Report a Bug" to github | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29332@lists.php.net to get a copy of this message | ||
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&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;