Comment to 'Developer Question: Getting device type in php'