RE: [PHP-DEV] Proposal for PHP 7 : case-sensitive symbols
| From: | F & N Laupretre | Date: | Tue, 23 Dec 2014 15:08:15 +0000 |
| Subject: | RE: [PHP-DEV] Proposal for PHP 7 : case-sensitive symbols | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-79887@lists.php.net to get a copy of this message | ||
> De : Pierre Joye [mailto:pierre.php@gmail.com]
> Anyone dying while waiting to see PHP having case sensitive symbols
> handling should go ahead with a RFC. He will also have to deal with
> file ops while being at it. Should they remain case insensitive? Do
> manual checks to match the path actually being requested (ie. possible
> on windows using meta info), or keep everything the way it is now?
> These are all things we should take into account, not only "heh, let
> make symbols case sensitive".
What do you mean with 'case insensitive file ops' ? It's probably clear for most of
you but, unfortunately, not for me.
As I'm planning an RFC on case-mismatch deprecation, I'd like to follow your suggestion
and include this topic as well.