MediaWiki:Common.js

jQuery(document).ready(function() { console.log(3); jQuery('#hideToc').click(function(){

 jQuery('#toc').toggle();
 return false;  

}) });