Added PHP to handle switching theme per device OS