From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 16 Nov 2005 15:15:23 +0000 (+0000)
Subject: Hack to make page rendering hashes for users who have set their preferences the same... 
X-Git-Tag: 1.6.0~1166
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=cf21f89a4e9b61a4de96ddee8914bfe5fe1e63ec;p=lhc%2Fweb%2Fwiklou.git

Hack to make page rendering hashes for users who have set their preferences the same as for those who haven't. The numberheadings option didn't have a default, which meant it was initialised to false, but it's set to zero when the preferences are saved. Keeping the legacy anon hash format to avoid cache invalidation.
---

diff --git a/includes/User.php b/includes/User.php
index 1e3809d141..551aa23c36 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -1511,7 +1511,7 @@ class User {
 		$confstr =        $this->getOption( 'math' );
 		$confstr .= '!' . $this->getOption( 'stubthreshold' );
 		$confstr .= '!' . $this->getOption( 'date' );
-		$confstr .= '!' . $this->getOption( 'numberheadings' );
+		$confstr .= '!' . ($this->getOption( 'numberheadings' ) ? '1' : '');
 		$confstr .= '!' . $this->getOption( 'language' );
 		$confstr .= '!' . $this->getOption( 'thumbsize' );
 		// add in language specific options, if any
diff --git a/languages/Language.php b/languages/Language.php
index 0003b795c0..63791cf34b 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -81,7 +81,8 @@ if(isset($wgExtraNamespaces)) {
 	'fancysig' 		=> 0,
 	'externaleditor' 	=> 0,
 	'externaldiff' 		=> 0,
-	'showjumplinks' 		=> 1,
+	'showjumplinks'		=> 1,
+	'numberheadings'	=> 0,
 );
 
 /* private */ $wgQuickbarSettingsEn = array(