From cf5d9c7f01282075d3b9b5c451dfd1362d7e121c Mon Sep 17 00:00:00 2001
From: sinn3r <wei_chen@rapid7.com>
Date: Wed, 6 Nov 2013 11:41:36 -0600
Subject: [PATCH] Add case for IE10 + Win 7 SP1 detection

---
 data/js/detect/os.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/data/js/detect/os.js b/data/js/detect/os.js
index 1fdd2deb1f..dccf97d0a7 100644
--- a/data/js/detect/os.js
+++ b/data/js/detect/os.js
@@ -867,6 +867,12 @@ window.os_detect.getVersion = function(){
 				os_flavor = "7";
 				os_sp = "SP1";
 				break;
+			case "10016720":
+				// IE 10.0.9200.16721 / Windows 7 SP1
+				ua_version = "10.0";
+				os_flavor = "7";
+				os_sp = "SP1";
+				break;
 			case "1000":
 				// IE 10.0.8400.0 (Pre-release + KB2702844), Windows 8 x86 English Pre-release
 				ua_version = "10.0";