Edit report at https://bugs.php.net/bug.php?id=77352&edit=1
ID: 77352
Updated by: c...@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] c...@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
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
