Manual:CleanupPreferences.php/de-formal

Details
cleanupPreferences.php file is a maintenance script to delete user preference values which are hidden by, or those that are unknown (e.g. were added by a since-uninstalled extension).

It contains the hook.