Author: zach+bugs
Description:
The array of namespace names sits in Namespace.php, where it cannot be overridden in LocalSettings.php. Can this be moved to DefaultSettings.php, so I can rename namespaces on my wiki without using aliases?
Version: 1.12.x
Severity: enhancement