From 69dfed992a4d13cc27f5c1f6f1071e1bfafb8202 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 15 Aug 2004 15:01:33 +0000
Subject: [PATCH] Adding numberheadings to rendering hash, related
 inconsistency reported on #wikipedia

---
 includes/User.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/User.php b/includes/User.php
index 250235de13..578a7ee293 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -675,6 +675,7 @@ class User {
 		$confstr .= '!' . $this->getOption( 'editsectiononrightclick' );
 		$confstr .= '!' . $this->getOption( 'showtoc' );
 		$confstr .= '!' . $this->getOption( 'date' );
+		$confstr .= '!' . $this->getOption( 'numberheadings' );
 
 		$this->mHash = $confstr;
 		return $confstr ;
-- 
2.20.1