Last modified: 2008-09-03 02:29:20 UTC
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.
Created attachment 4372 [details] proposed patch
Fixed in r40323.
Reverted, pointless, breaks things.