PHP mobile detection, using the RESS technique (responsive design with server-side components)