Difference between revisions of "MediaWiki:Common.js"

Latest revision as of 04:55, 6 February 2019

/* Any JavaScript here will be loaded for all users on every page load. */
if (window.tocXdr) mediaWiki.hook( 'wikipage.content' ).add( function ( $contTx ) {
  var relPar = tocXdr.closest("#bodyContent"), content = relPar.closest("#content");
  tocXdr.style.top = (content.offsetTop - relPar.offsetTop + Number(tocXdr.dataset.top) + 12) + "px";
});