Manuel:CleanupPreferences.php
Jump to navigation
Jump to search
| fichier de MediaWiki : cleanupPreferences.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.32.0 • 1.31.1 |
| Classes : | CleanupPreferences |
Détails
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.
Utilisation
php cleanupPreferences.php
