Manuel:ResetUserTokens.php
 | Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.39.0 (après avoir été obsolète en 1.27). Voyez $wgAuthenticationTokenVersion comme manière alternative pour utiliser cette fonctionnalité. |
| Fichier MediaWiki : resetUserTokens.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Classes : | ResetUserTokens |
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.
Utilisation
Paramètres
| Option/paramètre | Description |
|---|---|
| --nowarn | Masque l'avertissement de 5 secondes, false par défaut. |
| --nulls | Ne réinitialiser que les jetons qui sont actuellement null (chaîne de \x00s) |