Alex
Created page with ";(function($, mw) { $('body').addClass('wgl-stickyheader'); function onScroll() { var personal = $('#p-personal'); var targetEle = document.getElementById("mw-head"); var head = $('#mw-head'); if (mw.config.get('wgAction') === 'edit' || window.location.search.includes('veaction')) { // We're on an edit page, do nothing and reset all the stuff if (personal.is(":hidden")) { personal.show(); head.removeClass('sticky-hidden'); } } else { if (w..."