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.42.1 • 1.41.2 • 1.39.8 |
| 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.
On the one hand it can reset the token for all users.
Note that this may log some of them out.
Resetting all tokens is not necessary unless you believe your user table has been compromised.
On the other hand you can use the script to change those tokens, which currently are NULL.
This is useful to improve security for the affected users.
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) |