Manual:CleanupPreferences.php/pl
| Wersja MediaWiki: | ≥ 1.20 |
| Plik MediaWiki: cleanupPreferences.php | |
|---|---|
| Lokalizacja: | maintenance/ |
| Kod źródłowy: | master • 1.44.0 • 1.43.3 • 1.39.13 |
| Klasy: | CleanupPreferences |
Szczegóły
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/Arguments
| Option | Description | Required? |
|---|---|---|
| --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 |
Użycie
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)
In MediaWiki version 1.39.13 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php instead of php maintenance/run.php scriptName.
Zobacz też
- $wgHiddenPrefs
- Manual:Hooks/DeleteUnknownPreferences
- Manual:initUserPreference.php
- Manual:User preferences