Add check isset( $_SERVER['HTTP_X_MOBILE'] ) to avoid warning

My server was complaining about HTTP_X_MOBILE being undefined; so I added a simple isset here.