add mediawiki extensions

This commit is contained in:
Fabian Montero 2024-08-27 18:35:58 -06:00
parent 806b00f634
commit 222ce4c296
Signed by untrusted user: fabian
GPG key ID: 1FFAC35E1798174F

View file

@ -53,6 +53,17 @@ with lib; {
extensions = { extensions = {
# some extensions are included and can enabled by passing null # some extensions are included and can enabled by passing null
VisualEditor = null; VisualEditor = null;
CategoryTree = null;
CiteThisPage = null;
Scribunto = null;
Cite = null;
CodeEditor = null;
Math = null;
MultimediaViewer = null;
PdfHandler = null;
Poem = null;
SecureLinkFixer = null;
WikiEditor = null;
}; };
}; };
}; };