Translations:Manual:ResetUserTokens.php/3/de