1
I started a website which is MediaWiki based. For some reason, the username had its first letter capitalized but I don't want it capitalized (I clearly remember how I wrote it lowercased).
The Wikimedia documentation that any "Global renamer" or "Steward" can change usernames but I didn't saw such roles in my website with MediaWiki (I only have "Bureaucrat", "Sysop", "Interface-admin" and "Bot").
How to change a username in MediaWiki as a Bureaucrat?
Have you tried installing the RenameUser extension? https://www.mediawiki.org/wiki/Extension:Renameuser
– Doug Deden – 2019-01-15T23:00:31.607Also, usernames can't typically start with a lowercase letter in Mediawiki. See https://www.mediawiki.org/wiki/Topic:R97c76vpuokaqby9.
– Doug Deden – 2019-01-15T23:04:39.257Hmm, I didn't try it and didn't know that datum. Thank you. – JohnDoea – 2019-01-15T23:16:56.670
Well, I noticed that one can login with a lowercase version of the username (probably due to some JavaScript method) so it's even less a problem to have it uppercased after login. Anyone who publishes an answer might want to note that inside the answer (comments might get deleted in the future). – JohnDoea – 2019-01-15T23:39:56.237