User:Richarms/common.js

if (preg_match("/(mobile|webos|opera mini|safari)/i", $_SERVER['HTTP_USER_AGENT'])) { $wgDefaultSkin = 'wptouch'; } else { $wgDefaultSkin = 'vector'; }