nixos/mediawiki: add resetUserEmail script

This commit is contained in:
Sandro Jäckel 2024-08-04 22:03:11 +02:00
parent ee13e0a5e7
commit 4ae7723c9b
No known key found for this signature in database
GPG Key ID: 3AF5A43A3EECC2E5

View File

@ -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