Using PHP to send different content to different devices