go to bug id or search bugs for
The bugs.php.net website allows reporting issues in general, whether or not they are bugs, as the options of the Bug Type field imply. However, the label of that very field displays a terminological bug in the way the website calls issues.
Pretty much every reference to issues on the site uses the term "bug". For example:
The Send bug report button.
The Bug Type field
The field description of fields such as Password.
The Note field's contents.
The text above the form at https://bugs.php.net/report.php
The "report a bug" link
These should refer to issues as "problems" or "issues", or some other term general enough to include issues which are not bugs. When referring to "bug reports", the term "ticket" can be used.
By the way, for what it's worth, the options of the Bug Type field do not make sense as they are not exclusive (for example, a bug can be a documentation problem and a change request can be a bug report).
Add a Patch
Add a Pull Request
Makes sense. Maybe you want to submit a respective pull request
Thank you cmb
I don't know if I will submit code for this, but before changing code I recommend to get an agreement between PHP developers about the terms to use. Which term should replace "bug", and whether "ticket" is to be preferred to the longer "issue report".