https://bugzilla.wikimedia.org/show_bug.cgi?id=26886
Summary: Move toggle for DoubleWiki to InitialiseSettings.php
Product: Wikimedia
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Keywords: shell
Severity: normal
Priority: Normal
Component: Subversion
AssignedTo: rlan...@gmail.com
ReportedBy: krinklem...@gmail.com
CC: innocentkil...@gmail.com
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>
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
