[Pkg-mediawiki-devel] Bug#703852: Bug#703852: [mediawiki] mw{en, dis}ext ineffective for new installs

[Filipus Klutiero]

On 2013-03-25 05:43, Thorsten Glaser wrote:
> tags 703852 + pending
> thanks
>
> On Sun, 24 Mar 2013, Filipus Klutiero wrote:
>
>> The scripts mwenext and mwdisext are supposed to respectively enable and
>> disable a MediaWiki extension. But this doesn't work anymore on new installs
>> following
>> http://anonscm.debian.org/viewvc/pkg-mediawiki?view=revision&revision=261
> Oh.
>
>> Although most of debian_specific_config.patch may have been merged the
>> upstream, the last part hasn't. It is needed to load
>> /etc/mediawiki-extensions/extensions.php, which is the basis of the extensions
>> mechanism.
> Thanks, added it back (for now, in SVN).

Thanks
>
>> I recommend that the snippet above be restored, but in system files rather
>> than in LocalSettings.php. The snippet is necessary for the Debian
>> mediawiki-extensions system to work, so it is not local configuration.
> No, LocalSettings.php is the place this *must* go (which is also
> the reason e.g. I didn’t notice it earlier, as the FusionForge
> LocalSettings contain this inclusion) because it doesn’t use the
> require_once statement. Adding it *also* in some other place
> would include it twice, which *will* break existing installations,
> both these where it’s part of the admin’s setup and these where
> it’s part of the code (such as fusionforge-plugin-mediawiki).
> Yeah, that’s sad.
>
> Maybe we should note this in NEWS.Debian or something? jmw?

There's a very simple solution to that which would solve even more 
problems. Unfortunately, it requires a larger change.
/etc/mediawiki-extensions/extensions.php is not a "configuration file", 
but rather a file which has loading configuration files as its role. 
Therefore, it should not be in /etc/. By moving it in the codebase and 
forcing its inclusion in the main codebase (or just adding its content 
to a setup file), we would make sure the extensions system keeps working 
no matter how the machine is configured.
>
>> By the way, the extensions list needs an update at least for Interwiki.
> Which list, where?

The list of extensions in 
/etc/mediawiki-extensions/extensions-available/ has nothing for 
Interwiki (except a symlink to its predessors, SpecialInterwiki).