From cf21f89a4e9b61a4de96ddee8914bfe5fe1e63ec Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Wed, 16 Nov 2005 15:15:23 +0000 Subject: [PATCH] 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. --- includes/User.php | 2 +- languages/Language.php | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) 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( -- 2.20.1