servo: Merge #6742 - Added support for int32 to webdriver (from chotchki:accept_int32); r=jdm

Fix for issue #6729

Source-Repo: https://github.com/servo/servo
Source-Revision: ee07e7110d045eb6411ba101d2373318b5ab4f17

servo/components/script/webdriver_handlers.rs

@@ -45,7 +45,7 @@ pub fn jsval_to_webdriver(cx: *mut JSContext, val: HandleValue) -> WebDriverJSRe
         Ok(WebDriverJSValue::Undefined)
     } else if val.get().is_boolean() {
         Ok(WebDriverJSValue::Boolean(val.get().to_boolean()))
-    } else if val.get().is_double() {
+    } else if val.get().is_double() || val.get().is_int32() {
         Ok(WebDriverJSValue::Number(FromJSValConvertible::from_jsval(cx, val, ()).unwrap()))
     } else if val.get().is_string() {
         //FIXME: use jsstring_to_str when jsval grows to_jsstring