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.
This commit is contained in:
parent
98dbe67e00
commit
cf21f89a4e
2 changed files with 3 additions and 2 deletions
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -81,7 +81,8 @@ if(isset($wgExtraNamespaces)) {
|
|||
'fancysig' => 0,
|
||||
'externaleditor' => 0,
|
||||
'externaldiff' => 0,
|
||||
'showjumplinks' => 1,
|
||||
'showjumplinks' => 1,
|
||||
'numberheadings' => 0,
|
||||
);
|
||||
|
||||
/* private */ $wgQuickbarSettingsEn = array(
|
||||
|
|
|
|||
Loading…
Reference in a new issue