MediaWiki:Common.js: Difference between revisions

Revision as of 11:10, 30 December 2025

/* Any JavaScript here will be loaded for all users on every page load. */
/* When the user scrolls down, hide the navbar. When the user scrolls up, show the navbar */
var prevScrollpos = window.pageYOffset;
window.onscroll = function() {
  var currentScrollPos = window.pageYOffset;
  if (prevScrollpos > currentScrollPos) {
    document.getElementById("mw-navigation").style.top = "0";
  } else {
    document.getElementById("mw-navigation").style.top = "-50px";
  }
  prevScrollpos = currentScrollPos;
};

$(function(){
	importArticles({
		type: "script",
		articles: ["MediaWiki:FilterTable.js"]
	});
});