Re: Proposal for PHP 7 : case-sensitive symbols

On Mon, Dec 22, 2014 at 3:05 PM, Mike Dugan <mike@mjdugan.com> wrote: > Development should also be a consideration, I see a lot of developers using Windows for local > development (even on the irc channels). These are the same ones who are, in my experience, less > likely to be aware of solutions like Vagrant just as much as the subtleties of case sensitivity > across operating systems. I think we coul be more realistic here. In my opinion the pains introduced by such a change does not match with any possible gains. Many areas affect the request time badly (IOs, mem, etc), I do not see case insensitivity as one, even if it may look very bad if a simple small script is taken as example of the slowdown (obviously worst case). I am not saying discussing that is bad, but it may not be the most important thing to spend time on :)