Merge pull request #14702 from demeritcowboy/why-is-php-case-insensitive-for-classnames
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 2 Jul 2019 07:50:50 +0000 (19:50 +1200)
committerGitHub <noreply@github.com>
Tue, 2 Jul 2019 07:50:50 +0000 (19:50 +1200)
dev/joomla#13 - followup - Some class names have wrong upper/lower case spelling


Trivial merge