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