Translations:Manual:ResetUserTokens.php/9/de