Comment 'Thank you my friend ...' to 'Developer Question: Getting device type in php'