Is it possible to rename component project MediaWiki-extensions-LDAP-Authorization to MediaWiki-extensions-LDAPAuthorization to be consistent with the other LDAP extensions?

Closed, ResolvedPublic

Actions

It's simply not its name. See https://www.mediawiki.org/wiki/Extension:LDAP_Authorization

Actually, it is LDAPAuthorization in the code (https://phabricator.wikimedia.org/diffusion/ELDP/browse/master/LDAPAuthorization.php;8da683d380f8ef7381d7db71c9c7090ebbdcd465$37 - yes, it does still need to be converted to use Extension Registration) and in the infobox and installation instructions on the extension page. I guess the error was in adding the space to the name in the extension page name, however when I have created extension pages in the past for extensions whose names are nominally two words, they have been moved by other users to pages with the space. So, I thought I'd bypass the move this time by creating it with the space. Is there a convention for this? Shall I move the page to Extension:LDAPAuthorization leaving a redirect?

Thank you!