Move disable of preference 'enotifminoredits'
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 8 Apr 2016 20:19:27 +0000 (22:19 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 8 Apr 2016 20:19:27 +0000 (22:19 +0200)
commitd7de1f8c322afebbc79689f83064f806954ea0cd
treef6837a4f5c24ea0995af9fc7f429d48c424b5162
parent6bcdf27c748d70369ff301a5f586fd6a9e2f09a7
Move disable of preference 'enotifminoredits'

Instead of setting $wgHiddenPrefs in Setup.php when $wgEnotifMinorEdits
is false, it is better to check the config in Preferences.php.
This makes it easier to found the config, why the preference is not
shown.

$wgHiddenPrefs should not be used in core itself

Change-Id: I7e1afd65c8924f18fdfa6cb5c9a47481b036b74f
includes/Preferences.php
includes/Setup.php