Manual:cleanupPreferences.php
Jump to navigation
Jump to search
| MediaWiki ファイル: cleanupPreferences.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.37.0 • 1.36.2 • 1.35.4 |
| クラス: | CleanupPreferences |
詳細
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.
使用法
php cleanupPreferences.php