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