Re: Proposal for PHP 7 : case-sensitive symbols

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. Mike Dugan Sent from my iPhone > On Dec 21, 2014, at 11:00 PM, Andrea Faulds <ajf@ajf.me> wrote: > > >> On 22 Dec 2014, at 03:58, Pierre Joye <pierre.php@gmail.com> wrote: >> >> >>> On Dec 22, 2014 8:03 AM, "Marco Pivetta" <ocramius@gmail.com> wrote: >>> >>>> On 22 December 2014 at 01:52, Andrea Faulds <ajf@ajf.me> wrote: >>>> >>>> >>>>>> On 22 Dec 2014, at 00:50, Marco Pivetta <ocramius@gmail.com> wrote: >>> >>> Except that nobody I know of runs production on a case-insensitive >>> filesystem. >> >> I know a lot, really a lot. > > Yeah, I think it’s too easy to forget that not everyone’s using something Unix-like… a > lot of people use Windows Server! > > -- > Andrea Faulds > http://ajf.me/ > > > > > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php >