quickfix: bekkalokk/mediawiki: remove DeleteBatch

This commit is contained in:
Felix Albrigtsen 2024-05-27 11:02:35 +02:00
parent cf01792269
commit 71479d5ca0

View File

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