jenkins-bot has submitted this change and it was merged.
Change subject: Update IE detection to include Edge
......................................................................
Update IE detection to include Edge
The IE12 User-Agent no longer includes Trident, but instead
identifies itself as Edge/12.0
Change-Id: I0ef927af1b85706974a6f38b0ad45ee3f58f8be6
---
M src/init/ve.init.Platform.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/init/ve.init.Platform.js b/src/init/ve.init.Platform.js
index 1b17191..e88a3e1 100644
--- a/src/init/ve.init.Platform.js
+++ b/src/init/ve.init.Platform.js
@@ -51,7 +51,7 @@
* @returns {boolean} Whether we are in IE
*/
ve.init.Platform.static.isInternetExplorer = function () {
- return navigator.appVersion.indexOf( 'Trident' ) !== -1;
+ return navigator.appVersion.indexOf( 'Trident' ) !== -1 ||
navigator.appVersion.indexOf( 'Edge' ) !== -1;
};
/* Methods */
--
To view, visit https://gerrit.wikimedia.org/r/177461
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0ef927af1b85706974a6f38b0ad45ee3f58f8be6
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
