wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-09-24 02:39:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Define namespace constants after whole configuration was loaded. This allows $wgScriptingNamespaceNumbers to be defined just like any other configuration variable.

Browse source
This commit is contained in:
vvv 2012-01-29 19:50:34 +00:00
parent fa2dd80ead
commit 78fc58f457
1 changed files with 12 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
Scripting.php
View file

@ -82,15 +82,12 @@ $wgScriptingEngine = false;
$wgScriptingEngineConf = array();
/**
* Script namespace numbers. Should be redefined before
* the inlcusion of the extension.
* Script namespace numbers.
*/
if( !isset( $wgScriptingNamespaceNumbers ) ) {
$wgScriptingNamespaceNumbers = array(
'Module' => 20,
'Module_talk' => 21,
);
}
$wgScriptingNamespaceNumbers = array(
'Module' => 20,
'Module_talk' => 21,
);
/**
* Turn on to true if you have linked or copied wikiscripts.php and
@ -98,5 +95,10 @@ if( !isset( $wgScriptingNamespaceNumbers ) ) {
*/
$wgScriptingUseGeSHi = false;
define( 'NS_MODULE', $wgScriptingNamespaceNumbers['Module'] );
define( 'NS_MODULE_TALK', $wgScriptingNamespaceNumbers['Module_talk'] );
function efDefineScriptingNamespace() {
global $wgScriptingNamespaceNumbers;
define( 'NS_MODULE', $wgScriptingNamespaceNumbers['Module'] );
define( 'NS_MODULE_TALK', $wgScriptingNamespaceNumbers['Module_talk'] );
}
$wgExtensionFunctions[] = 'efDefineScriptingNamespace';