[Wikitech-l] Re: Case-insensitive login ids via AuthPlugin.php