MediaWiki:Common.js: Unterschied zwischen den Versionen

/* Das folgende JavaScript wird für alle Benutzer geladen. */

isMobile = /Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent);

if(isMobile) {
	var html = '<ul id="mobileMenu">';
		
	$('#p-navigation').find('li').each(function(i, o) {
		html += '<li>' + o.innerHTML + '</li>';
	});
	
	html += '</ul><div class="clear"></div>';
	
	$('#p-navigation').css('display', 'none');
	$('#p-personal').css('display', 'none');
	$('#topright').css('display', 'none');
	$('#topmenu').css('height', '60px');

	$('#topmenu').append('<div id="mobileMenuSwitch">Menü</div>');
	$('body').append(html);
}