MediaWiki:Common.js

From Maps for MediaWiki
Revision as of 09:40, 1 August 2020 by Jeroen De Dauw (talk | contribs)

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/* Any JavaScript here will be loaded for all users on every page load. */

( function () {
	$( function () {
		var $header = $( 'div.p-navbar.sticky:visible' );
		if ( !$header.length ) {
			return;
		}
		$( 'a[href*="#"]:not([href="#"])' ).click( function () {
			adjustScroll( $header, this.hash );
		} );

		$( window ).on( 'hashchange', function ( e ) {
			adjustScroll( $header );
		} );
	} );

	function adjustScroll( $header, hash, animate ) {
		hash = hash || window.location.hash;
		var $target = $( hash ),
			headerHeight = $header.outerHeight() + 5;

		if ( $target.length ) {
			$( 'html,body' ).animate( {
				scrollTop: $target.offset().top - headerHeight
			}, 500 );
			return false;
		}
	}
}() );