Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:119301 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 25916 invoked from network); 18 Jan 2023 09:01:14 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 18 Jan 2023 09:01:14 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 3330E1804D4 for ; Wed, 18 Jan 2023 01:01:12 -0800 (PST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_40,SPF_HELO_NONE, SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS24940 138.201.0.0/16 X-Spam-Virus: No X-Envelope-From: Received: from swift.blarg.de (swift.blarg.de [138.201.185.127]) by php-smtp4.php.net (Postfix) with ESMTP for ; Wed, 18 Jan 2023 01:01:11 -0800 (PST) Received: from swift.blarg.de (swift.blarg.de [IPv6:2a01:4f8:c17:52a8::2]) (Authenticated sender: max) by swift.blarg.de (Postfix) with ESMTPSA id E259F41297 for ; Wed, 18 Jan 2023 10:01:09 +0100 (CET) Date: Wed, 18 Jan 2023 10:01:08 +0100 To: internals@lists.php.net Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [PHP-DEV] RFC: rules for #include directives From: max+php@blarg.de (Max Kellermann) On 2023/01/16 13:48, "G. P. B." 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