[03:18:46] https://gerrit.wikimedia.org/r/#/c/380669/ [03:18:52] 'Also, if this turns out to not make its way in MediaWiki 1.31, then perhaps it will in MediaWiki 1.32, and of course one of the files to be modified would then be "RELEASE-NOTES-1.32" instead of "RELEASE-NOTES-1.31".' [03:18:56] Pointless CR is... pointless? [03:20:51] Is anyone else irritated a bit by storage being capitalised in includes? [03:25:33] Reedy: i didn't notice it before, but consider me irritated now. [03:25:56] I wonder how many patches it'll conflict [03:28:25] https://gerrit.wikimedia.org/r/400959 [03:28:43] AFAIK, git rebase is smart enough to deal with that [03:30:04] There's also GlobalFunctions in tests/phpunit/includes... [08:24:57] Reedy: the PSR-4 future is going to have capitalized directory names [16:34:46] yay, breaking tab completion because case sensitive