From bf52ea8762d95f8d2beaf94055e183c622636151 Mon Sep 17 00:00:00 2001
From: "Mark A. Hershberger" <mah@users.mediawiki.org>
Date: Thu, 2 Jun 2011 16:38:55 +0000
Subject: [PATCH] follow up r88502 with a fix to resource loader to restore
 tochidden removal addition.

---
 resources/mediawiki.util/mediawiki.util.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/mediawiki.util/mediawiki.util.js b/resources/mediawiki.util/mediawiki.util.js
index 3ae2a7d6a2..f59272eb4c 100644
--- a/resources/mediawiki.util/mediawiki.util.js
+++ b/resources/mediawiki.util/mediawiki.util.js
@@ -201,6 +201,7 @@
 				if ( $tocList.is( ':hidden' ) ) {
 					$tocList.slideDown( 'fast', callback );
 					$toggleLink.text( mw.msg( 'hidetoc' ) );
+					$( '#toc' ).removeClass( 'tochidden' );
 					$.cookie( 'mw_hidetoc', null, {
 						expires: 30,
 						path: '/'
@@ -209,6 +210,7 @@
 				} else {
 					$tocList.slideUp( 'fast', callback );
 					$toggleLink.text( mw.msg( 'showtoc' ) );
+					$( '#toc' ).addClass( 'tochidden' );
 					$.cookie( 'mw_hidetoc', '1', {
 						expires: 30,
 						path: '/'
-- 
2.20.1