Detecting Windows Phone 7

ThemeKey doesn't detect Windows Phone 7 (i.e. NOT Windows Mobile). I know it doesn't have much market share but as it's the phone I'm using/testing on it was important to me.

Based on the Windows Phone user agent string adding:

}
	  elseif (strpos($useragent, 'windows phone') !== FALSE) {
      return 'WP7';

at around line 224 in themekey/modules/themekey_browser_detection.php and then adding

system:user_os_simplified=WP7

To the rule set allows detection and redirect. Have done limited testing and it works fine and doesn't interfere with users on Windows or other versions of IE.

To be sure of detection I also added

system:user_os=WP7

I don't know how to make the above appear in the Properties descriptions but I could probably try and work it out.

Hope this is OK to flag up and offer a hackaround. It's my first Drupal submission and I hope I've done it right. Keep up the amazing work. Thanks.