* to ensure that client-side caches do not keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '289';
+$wgStyleVersion = '290';
/**
* This will cache static pages for non-logged-in users to reduce
toggleLink.id = 'togglelink';
toggleLink.className = 'internal';
toggleLink.href = '#';
- toggleLink.onclick = toggleToc;
+ addClickHandler( toggleLink, function( evt ) { toggleToc(); return killEvt( evt ); } );
toggleLink.appendChild( document.createTextNode( tocHideText ) );
}
}
+function killEvt( evt ) {
+ evt = evt || window.event || window.Event; // W3C, IE, Netscape
+ if ( typeof ( evt.preventDefault ) != 'undefined' ) {
+ evt.preventDefault(); // Don't follow the link
+ evt.stopPropagation();
+ } else {
+ evt.cancelBubble = true; // IE
+ }
+ return false; // Don't follow the link (IE)
+}
+
function toggleToc() {
var tocmain = document.getElementById( 'toc' );
var toc = document.getElementById('toc').getElementsByTagName('ul')[0];