Manual:CleanupPreferences.php/fr
| Version de MediaWiki : | ≥ 1.20 |
| Fichier MediaWiki : cleanupPreferences.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.43.1 • 1.42.6 • 1.39.12 |
| 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/run.php cleanupPreferences [ --dry-run| --hidden| --unknown ]
Terminal
$ php maintenance/run.php cleanupPreferences --unknown Dropping unknown preferences... ..doing 4 entries DONE! (handled 4 entries)
Dans la version MediaWiki 1.39.12 et antérieure, vous devez invoquer des scripts de maintenance à l'aide de
php maintenance/scriptName.php au lieu de php maintenance/run.php scriptName.
Voir aussi
- $wgHiddenPrefs
- Manual:Hooks/DeleteUnknownPreferences
- Manual:initUserPreference.php
- Manuel:Préférences utilisateur