Manual:cleanupPreferences.php
Jump to navigation
Jump to search
| MediaWiki ファイル: cleanupPreferences.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.34.1 • 1.33.3 • 1.31.7 |
| クラス: | 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
