MediaWiki:Common.js

$(document).ready(function() {
  console.log("XThemer loaded");
  require('/corp/toolbox.js');
  require('/corp/leftmenu.js');
  require('/corp/catparser.js');
  require('/corp/totop.js');
  require('/corp/relatedpages.js');
  require('/corp/highlighter.js');
  require('/corp/btntextsize.js');
  require('/corp/btnhicontrast.js');





  console.log("XThemer done");
});

// load a js file on-the-fly
function require(script) {
  $.ajax({
      url: script,
      dataType: "script",
      async: false,           // <-- This is the key
      success: function () {
          // all good...
      },
      error: function () {
          throw new Error("Could not load script " + script);
      }
  });
}

/**/