Author: svippy
Description:
Usernames start with a capital letter (in accordance with the regular MediaWiki scheme). And MediaWiki should handle making the first letter a capital letter, even if the user tries to log in in entirely lowercase.
E.g. Logging in as 'svip' would change it to 'Svip'.
But for some reason, this does not accord if $wgCapitalLinks is set to false on the newest revision of MediaWiki. Instead, such an attempt produces the following error:
Fatal error: Call to a member function getName() on a non-object /includes/specials/SpecialUserlogin.php on line 441
To avoid the error, simply logging in the correct case fixes the issue. I assume this bug is trivial, but critical regardless.
Version: 1.16.x
Severity: critical