Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
nixos/mediawiki: allow using default extensions #83436
It appears the MediaWiki module "hides" the extensions that are shipped in the package. Please consider whether this PR improves the module by allowing them to be easily used, or whether it just makes it confusing.
Motivation for this change
Mostly convenience - MediaWiki ships with bunch of extensions and these often require particular MediaWiki version. Using the ones bundled with the wiki source, one does not have to manually update them whenever the wiki is updated.
aanderse left a comment
@mmilata one thing I came to regret about the
That being said... the way this module currently is setup, this is a very nice addition and based on the assumption you have properly tested this I approve
It would be nice to get approval from @redvers too, but if he doesn't reply back in a day or two just ping me and I'll merge. Thanks for your work on this
@aanderse can you please elaborate, or point to an example of such package? I'm struggling to imagine how this works and would like to write better modules too:)
Also, I'm wondering whether this PR should use