From 98fd8ef618f2eacc25cbbea21b2c20a095c1a590 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 3 Sep 2008 02:32:01 +0000
Subject: [PATCH] This part of r40323 is useful.

---
 config/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/index.php b/config/index.php
index a0d7f4fbe4..785ec21a86 100644
--- a/config/index.php
+++ b/config/index.php
@@ -1706,7 +1706,7 @@ if ( \$wgCommandLineMode ) {
 
 \$wgLanguageCode = \"{$slconf['LanguageCode']}\";
 
-\$wgProxyKey = \"$secretKey\";
+\$wgSecretKey = \"$secretKey\";
 
 ## Default skin: you can change the default skin. Use the internal symbolic
 ## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook':
-- 
2.20.1