MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 5. Juni 2020, 12:23 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
function fadedHide () {
	// hide #backtotop
	$( "#backtotop" ).hide ();
	// fade in #backtotop
	$( function () {
		$( window ).scroll( function () {
			if ( $( this ).scrollTop () > ButtonStart ) {
				$( '#backtotop' ).fadeIn ();
			} else {
				$( '#backtotop' ).fadeOut ();
			}
		});
	});
}
 
function goToTop (){
	$( 'body,html' ).animate ({
		scrollTop: 0
	}, ScrollSpeed );
	return false;
}
 
function addBackToTopButton () {
		$('<div id="backtotop" style="position: fixed; right:20px; bottom:20px; border:none;"><button type="button" value="^" onClick="goToTop();">^</button></div>').appendTo('#mw-content');	
		fadedHide ();
}
 
var ButtonStart = 800;
var ScrollSpeed = 600;
 
if( !window.BackToTop  ) {
	$( document ).ready( function () { 
		addBackToTopButton (); 
	});
}
var BackToTop = true; // prevent duplication