Manual:CleanupPreferences.php/fr
Version de MediaWiki : | ≥ 1.20 |
Fichier MediaWiki : cleanupPreferences.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.39.1 • 1.38.5 • 1.35.9 |
Classes : | CleanupPreferences |
Détails
cleanupPreferences.php file is a maintenance script to delete user preference values which are hidden by $wgHiddenPrefs , or those that are unknown (e.g. were added by a since-uninstalled extension).
It contains the DeleteUnknownPreferences hook.
Options et arguments
Option | Description | Required? |
---|---|---|
--dry-run | Print debug info instead of actually deleting | optionnel |
--hidden | Drop hidden preferences ($wgHiddenPrefs ) |
optionnel |
--unknown | Drop unknown preferences (not in $wgDefaultUserOptions or prefixed with "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)