On 2023/01/16 13:48, "G. P. B." <george.bany...@gmail.com> wrote: > Moreover, having those sorts of changes be RFCs seems counterproductive as > the only people who care about this are actual core and extensions > developers and this opens the gate for petty RFCs to resolve coding style > disagreements.
How shall we proceed from here? Shall I create an official RFC or not? George said no, which I understand; but I don't know what else to do to produce a decision. I asked Dmitry to post his GitHub arguments in this thread, so you see both sides of the story, and you can discuss his arguments. (I already replied to him on GitHub, see https://github.com/php/php-src/pull/10345) Max -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
