Manuel:cleanupPreferences.php
| Version de MediaWiki : | ≥ 1.20 |
| Fichier MediaWiki : cleanupPreferences.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Classes : | CleanupPreferences |
Détails
Le fichier cleanupPreferences.php est un script de maintenance qui supprime les valeurs de préférences utilisateur cachées par $wgHiddenPrefs, ou celles qui sont inconnu (par ex. qui ont été ajoutées par une extension qui a été désinstallée).
Il contient le crochet DeleteUnknownPreferences.
Options et arguments
| Option | Description | Obligatoire ? |
|---|---|---|
| --dry-run | Afficher l'info de débug au lieu de vraiment supprimer | optionnel |
| --hidden | Supprimer les préférences cachées ($wgHiddenPrefs) |
optionnel |
| --unknown | Supprimer les préférences inconnues (pas dans $wgDefaultUserOptions ou préfixées avec "userjs-")
|
optionnel |
Utilisation
php maintenance/cleanupPreferences.php [ --dry-run| --hidden| --unknown ]
Terminal
$ php maintenance/cleanupPreferences.php --unknown Dropping unknown preferences... ..doing 4 entries DONE! (handled 4 entries)