Re: Deprecate and remove case-insensitive constants?
| From: | Rowan Collins | Date: | Mon, 25 Sep 2017 11:04:23 +0000 |
| Subject: | Re: Deprecate and remove case-insensitive constants? | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-100771@lists.php.net to get a copy of this message | ||
Tony, RH,
If you want to continue this debate, please can you take it off list.
Christoph announced that they're not pursuing their proposal nine days ago: https://marc.info/?l=php-internals&m=150559707900688&w=2
and since then the thread has become a rambling debate with no clear purpose.
As Sara says, I doubt either of you will change the other's mind, but if you want to keep
trying, please do so privately.
Regards,
--
Rowan Collins
[IMSoP]