Bug #77352 [Opn->Wfx]: All issue types called "bugs" ("Bug Type")

Edit report at https://bugs.php.net/bug.php?id=77352&edit=1 ID: 77352 Updated by: cmb@php.net Reported by: chealer at gmail dot com Summary: All issue types called "bugs" ("Bug Type") -Status: Open +Status: Wont fix Type: Bug Package: Website problem PHP Version: Irrelevant -Assigned To: +Assigned To: cmb Block user comment: N Private report: N New Comment: Given that bugsnet has been superseded by GH issues, it is sufficiently safe to assume that this issue won't be fixed. Previous Comments: ------------------------------------------------------------------------ [2018-12-27 12:13:01] chealer at gmail dot com 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". ------------------------------------------------------------------------ [2018-12-27 12:00:46] cmb@php.net Makes sense. Maybe you want to submit a respective pull request to <https://github.com/php/web-bugs>. ------------------------------------------------------------------------ [2018-12-26 23:13:14] chealer at gmail dot com Description: ------------ 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). ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=77352&edit=1