Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:111146 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 70806 invoked from network); 23 Jul 2020 08:45:39 -0000 Received: from unknown (HELO localhost.localdomain) (76.75.200.58) by pb1.pair.com with SMTP; 23 Jul 2020 08:45:39 -0000 To: internals@lists.php.net References: <20200723062654.4993A1011B2@smtp-in.fusiondirectory.org> <20200723090247.37c1760b@mcmic-probook.opensides.be> Date: Thu, 23 Jul 2020 08:40:17 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 In-Reply-To: <20200723090247.37c1760b@mcmic-probook.opensides.be> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Posted-By: 87.81.129.66 Subject: Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it? From: marandall@php.net (Mark Randall) Message-ID: On 23/07/2020 08:02, Côme Chilliet wrote: > To be clear, is there anyone who voted for @@ and changed his mind based on new > information? Please see the initial discussion here: https://externals.io/message/110568#111038