nixos/mediawiki: add resetUserEmail script (#332325)

2024-08-29 16:04:54 +02:00
parent 5babc04681 4ae7723c9b
commit 58ac9a4a4e
1 changed files with 1 additions and 1 deletions
@@ -48,7 +48,7 @@ let
    preferLocalBuild = true;
  } ''
    mkdir -p $out/bin
-    for i in changePassword.php createAndPromote.php userOptions.php edit.php nukePage.php update.php; do
+    for i in changePassword.php createAndPromote.php resetUserEmail.php userOptions.php edit.php nukePage.php update.php; do
      makeWrapper ${php}/bin/php $out/bin/mediawiki-$(basename $i .php) \
        --set MEDIAWIKI_CONFIG ${mediawikiConfig} \
        --add-flags ${pkg}/share/mediawiki/maintenance/$i