Manual:$wgHiddenPrefs/de-formal

Details
is an array to disable certain user preferences (preferences system was rewritten in 1.16).

This obsoletes  with the following code: