As mentionned in DefaultSettings.php (and http://www.mediawiki.org/wiki/Manual:$wgProxyKey), $wgProxyKey should be deprecated and replaced by $wgSecretKey. However, this variable is actually used and put in LocalSettings.php by the installation script. For backward compatibility, Setup.php will check (with my patch) for $wgProxyKey if $wgSecretKey isn't set.
I did also some cleanup in the function that create LocalSettings.php in config/index.php to put the generated comments at a better place.
Version: 1.12.x
Severity: normal