Manual:CleanupPreferences.php/de
| MediaWiki Version: | ≥ 1.20 |
| MediaWiki-Datei: cleanupPreferences.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Klassen: | CleanupPreferences |
Details
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.
Optionen/Argumente
| Option | Beschreibung | Notwendig? |
|---|---|---|
| --dry-run | Print debug info instead of actually deleting | Optional |
| --hidden | Drop hidden preferences ($wgHiddenPrefs) |
Optional |
| --unknown | Drop unknown preferences (not in $wgDefaultUserOptions or prefixed with "userjs-")
|
Optional |
Verwendung
php maintenance/cleanupPreferences.php [ --dry-run| --hidden| --unknown ]
Terminal
$ php maintenance/cleanupPreferences.php --unknown Dropping unknown preferences... ..doing 4 entries DONE! (handled 4 entries)