Don't use &url.php.bugs; to refer to the doc issue tracker

This doesn't work anymore since we've switched to using GH issues for
php-src bugs as well.  Since there is only one occurrence left, and
that needs some rewording anyway, we hard code the URLs for now.
This commit is contained in:
Christoph M. Becker 2022-01-14 23:33:00 +01:00
parent 202db6be13
commit fc7fe7faec
No known key found for this signature in database
GPG key ID: D66C9593118BCCB6

View file

@ -340,14 +340,16 @@ Returns the length of given string.
</para>
<para>
If an error is found in this manual, in any language, please report them
using the bug system at <link xlink:href="&url.php.bugs;">&url.php.bugs;</link>.
Classify the bug as <literal>"Documentation Problem"</literal>. All documentation related
using the issue tracker of the respective language repository at <link xlink:href="https://github.com/php/?q=doc">https://github.com/php</link>;
for instance, errors in the English manual should be reported at
<link xlink:href="https://github.com/php/doc-en/issues">https://github.com/php/doc-en/issues</link>.
All documentation related
problems, including those about manual formats, should be submitted as bug
reports.
</para>
<note>
<para>
Please don't abuse the bug system by submitting requests for help.
Please don't abuse the issue trackers by submitting requests for help.
Instead, use one of the many
<link xlink:href="&url.php.support;">support options</link>.
</para>