MediaWiki:Common.js/Other.js

/* Any JavaScript here will be loaded for all users on every page load. */ var b = document.documentElement; b.setAttribute('data-useragent', navigator.userAgent); b.setAttribute('data-platform', navigator.platform ); b.className += ((!!('ontouchstart' in window) || !!('onmsgesturechange' in window))?' touch':'');