MediaWiki:Vector.js

!function(t,e,o){var n=!(!e||!e.pushState),r={ANCHOR_REGEX:/^#[^ ]+$/,OFFSET_HEIGHT_PX:150,init:function{this.scrollToCurrent,$(window).on("hashchange",$.proxy(this,"scrollToCurrent")),$("body").on("click","a",$.proxy(this,"delegateAnchors"))},getFixedOffset:function{return this.OFFSET_HEIGHT_PX},scrollIfAnchor:function(r,i){var s,c;return this.ANCHOR_REGEX.test(r)?(s=t.getElementById(r.slice(1)),s&&(c=$(s).offset.top-this.getFixedOffset,$("html, body").animate({scrollTop:c},1e3),n&&i&&e.pushState({},t.title,o.pathname+r)),!!s):!1},scrollToCurrent:function(t){this.scrollIfAnchor(window.location.hash)&&t&&t.preventDefault},delegateAnchors:function(t){var e=t.target;this.scrollIfAnchor(e.getAttribute("href"),!0)&&t.preventDefault}};$(t).ready($.proxy(r,"init"))}(window.document,window.history,window.location);