Manual:ResetUserTokens.php/fr

Détails
resetUserTokens.php est un script de maintenance utile pour réinitialiser les jetons user_token des utilisateurs du wiki. Le script peu d'une part réinitialiser les jetons de tous les utilisateurs (notez que cela peut en déconnecter certains). Réinitialiser tous les jetons n'est utile que si vous pensez que votre table user a été compromise. D'autre part, le script peut être utilisé pour changer certains jetons, qui sont actuellement mis à « NULL ». Cela est utile afin d'améliorer la sécurité des utilisateurs concernés.