function is_mobile() {// Get the user agent$user_agent = $_SERVER['HTTP_USER_AGENT'];// Create an array of known mobile user agents// This list is from the 21 October 2010 WURFL File.// Most mobile devices send a pretty standard string that can be covered by// one of these.I believe I have found all the agents (as of the date ...