mediawiki: add VisualEditor #26

Merged
oysteikt merged 2 commits from mediawiki-add-visual-editor into main 2024-04-06 21:19:42 +02:00
1 changed files with 1 additions and 1 deletions
Showing only changes of commit 6e1b06731f - Show all commits

View File

@ -85,7 +85,7 @@ in {
}; };
extensions = { extensions = {
inherit (pkgs.mediawiki-extensions) DeleteBatch UserMerge PluggableAuth SimpleSAMLphp; inherit (pkgs.mediawiki-extensions) DeleteBatch UserMerge PluggableAuth SimpleSAMLphp VisualEditor;
}; };
extraConfig = '' extraConfig = ''