Re: [PHP-DEV] Github issues

2022-02-13 Thread Pierre Joye
On Mon, Feb 14, 2022 at 1:02 PM Marco Pivetta wrote: > > 1. You need to be part of https://github.com/orgs/php/people > 2. Your group must have issue triage rights Thanks Marco, I know what can be done in github, I do not know who I have to ping here to get that done as I cannot add myself to the

Re: [PHP-DEV] Github issues

2022-02-13 Thread Marco Pivetta
1. You need to be part of https://github.com/orgs/php/people 2. Your group must have issue triage rights On Mon, 14 Feb 2022, 05:34 Pierre Joye, wrote: > Hi, > > What has to be done that the github issues can be handled by the same > developers than in bugs.php.net? > > It is a bit weird that I

[PHP-DEV] Github issues

2022-02-13 Thread Pierre Joye
Hi, What has to be done that the github issues can be handled by the same developers than in bugs.php.net? It is a bit weird that I cannot change status or anything else but add comments :) Best, -- Pierre @pierrejoye | http://www.libgd.org -- PHP Internals - PHP Runtime Development Mailing

[PHP-DEV] Adding `class UnsupportedOperationException extends RuntimeException` to php?

2022-02-13 Thread tyson andre
Hi internals, Currently, there doesn't seem to be an exact fit for indicating that a method isn't supported on an object by design (and will throw unconditionally). (For example, when implementing an interface or overriding a base class, e.g. an Immutable datastructure not implementing offsetSet