Merge pull request #626 from MaRDI4NFDI/user-merge

Enable extension UserMerge
MaRDI4NFDI · Feb 14, 2025 · 3808ce3 · 3808ce3
2 parents d809095 + 0c36970
commit 3808ce3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/mediawiki/LocalSettings.d/UserMerge.php b/mediawiki/LocalSettings.d/UserMerge.php
@@ -0,0 +1,3 @@
+<?php
+wfLoadExtension( 'UserMerge' );
+$wgGroupPermissions['bureaucrat']['usermerge'] = true;