Changes

Jump to navigation Jump to search

MediaWiki:Common.js

103 bytes removed, 20:04, 7 April 2013
change to user-agent string detection again
if(document.URL.search("mobile") == -1)
{
/* unused, but left in for documentation
var ua = navigator.userAgent;
if( ua.match(/Android/i)
|| ua.match(/webOS/i)
|| ua.match(/iPhone/i)
|| ua.match(/iPod/i)
|| ua.match(/BlackBerry/i)
|| ua.match(/Windows Phone/i)
|| ua.match(/Bada/i)
|| ua.match(/Symbian/i)) */
if(ua.match(/Android/*i)) { if(ua.match(/Mobile/i)) { window.location.replace(document.documentElementURL + "?useformat=mobile"); } } else if((/webos|iphone|ipod|blackberry|windows phone|bada/i).clientWidth <= 1000test(ua))
{
window.location.replace(document.URL + "?useformat=mobile");
}*/
}

Navigation menu