follow up r88502 with a fix to resource loader to restore tochidden

removal addition.

diff --git a/resources/mediawiki.util/mediawiki.util.js b/resources/mediawiki.util/mediawiki.util.js
index 3ae2a7d..f59272e 100644 (file)
--- 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: '/'