MediaWiki:SupportPage.js: Difference between revisions

Content deleted Content added
rm topmenuheight, not needed here
use document.getElementById to cope with odd characters
Line 27:
// so we can get a fancy scroll animation
menuItems.click(function(e){
var hrefid = $(this).attr("href").replace('#', ''),
offsetTop = href$( ===document.getElementById(id) "#" ? 0 : $(href).offset().top;
$('html, body').stop().animate({
scrollTop: offsetTop