packages: add mediawiki-extensions.VisualEditor
This commit is contained in:
parent
2cb7e06369
commit
161ef284be
|
@ -4,4 +4,5 @@ lib.makeScope pkgs.newScope (self: {
|
||||||
PluggableAuth = self.callPackage ./pluggable-auth { };
|
PluggableAuth = self.callPackage ./pluggable-auth { };
|
||||||
SimpleSAMLphp = self.callPackage ./simple-saml-php { };
|
SimpleSAMLphp = self.callPackage ./simple-saml-php { };
|
||||||
UserMerge = self.callPackage ./user-merge { };
|
UserMerge = self.callPackage ./user-merge { };
|
||||||
|
VisualEditor = self.callPackage ./visual-editor { };
|
||||||
})
|
})
|
||||||
|
|
|
@ -0,0 +1,7 @@
|
||||||
|
{ fetchzip }:
|
||||||
|
|
||||||
|
fetchzip {
|
||||||
|
name = "mediawiki-visual-editor-source";
|
||||||
|
url = "https://extdist.wmflabs.org/dist/extensions/VisualEditor-REL1_40-5f8c97e.tar.gz";
|
||||||
|
hash = "sha256-oBMmEDKsFxrD0tpN2dy264IXK164BrZWrNK3v3FNX6w=";
|
||||||
|
}
|
Loading…
Reference in New Issue