Follow-up r82285: we should not apply case conversion to these names, because it...
authorHappy-melon <happy-melon@users.mediawiki.org>
Wed, 19 Oct 2011 17:09:04 +0000 (17:09 +0000)
committerHappy-melon <happy-melon@users.mediawiki.org>
Wed, 19 Oct 2011 17:09:04 +0000 (17:09 +0000)
commit346f3149f70508a5de7f0e73c3239b53bb500a7e
treec3391fc6c675e94598cee7c4734071b20d17357d
parentd491ae56a77af63e8a04cbf34b44afd0a908fa69
Follow-up r82285: we should not apply case conversion to these names, because it's unintuitive and potentially risky when they could theoretically contain weird characters.  It was necessary before r86508, but not now there is a prefix meaning the group name is not at the start of the title.  Plus the default messages are already at the lowercase titles.
includes/resourceloader/ResourceLoaderUserGroupsModule.php