Allow namespaces defined in extension.json to be overwritten locally.
authordaniel <daniel.kinzler@wikimedia.de>
Wed, 10 May 2017 16:00:38 +0000 (18:00 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Thu, 11 May 2017 10:16:24 +0000 (12:16 +0200)
commite4fc1ffec346a3b29622761362f866b1248b94bd
treea2cf4174c675c1dc2282fcfd83cfe30f7239c3b1
parentd84a241685c6ff19f32d0a53336191fcb0a61001
Allow namespaces defined in extension.json to be overwritten locally.

This allows extension namespaces to be assigned a custom ID, e.g. in case
the namespace pre-defined by the extension is already taken on the local
wiki.

This is done by defining the respective namespace constant in
LocalSettings.php.

Bug: T160462
Change-Id: If648d6e218847e6632d643ea724cd3da3945db70
includes/registration/ExtensionProcessor.php
tests/phpunit/includes/registration/ExtensionProcessorTest.php