Jump to content

Manual:cleanupPreferences.php

From mediawiki.org
This page is a translated version of the page Manual:CleanupPreferences.php and the translation is 62% complete.
MediaWiki バージョン:
1.20

詳細

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.

オプション/引数

オプション 説明 必須かどうか
--dry-run Print debug info instead of actually deleting 省略可能
--hidden Drop hidden preferences ($wgHiddenPrefs) 省略可能
--unknown Drop unknown preferences (not in $wgDefaultUserOptions or prefixed with "userjs-") 省略可能

使用法

php maintenance/cleanupPreferences.php [ --dry-run| --hidden| --unknown ]
Terminal

関連項目