Current code>
<pre>
CommonSettings.php
Experimental side-by-side comparison extension for wikisource. enabled brion 2006-01-13
FIXME: Needs $wmgUseDoubleWiki in InitialiseSettings.php
if(
'wikisource' == $site || 'sourceswiki' == $db || 'frwiktionary' == $wgDBname ) { include( $IP.'/extensions/DoubleWiki/DoubleWiki.php' );
}
</pre>
This should be moved to init like the other per-wiki settings (makes searching a lot easier).
I don't know the exact syntax, but I think something like this:
<pre>
InitialiseSettings.php
'wmgUseDoubleWiki' => array(
'default' => false,
'wikisource' => true,
'sourceswiki' => true,
'frwiktionary' => true,
),
CommonSettings.php
// Experimental side-by-side comparison extension for wikisource. enabled brion 2006-01-13
if( $wmgUseDoubleWiki ) {
include( $IP.'/extensions/DoubleWiki/DoubleWiki.php' );
}
</pre>
Version: unspecified
Severity: normal