diff --git a/docs/assets/js/common.js b/docs/assets/js/common.js index 26aac5ac4..e6f8414e0 100644 --- a/docs/assets/js/common.js +++ b/docs/assets/js/common.js @@ -1,7 +1,7 @@ (function () { var userAgent = window.navigator.userAgent; var isMobile = /Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(userAgent); - var isIE = userAgent.indexOf('MSIE ') > -1; + var isIE = /MSIE|Trident/.test(userAgent); if (isMobile) { window.location.href = './mobile.html'; @@ -9,8 +9,7 @@ } if (isIE) { - window.location.href = './ie.html'; - return; + new VConsole(); } var $codeMirror = document.querySelector('.codeMirrorWrap'); diff --git a/docs/ie.html b/docs/ie.html deleted file mode 100644 index 23c7af804..000000000 --- a/docs/ie.html +++ /dev/null @@ -1,45 +0,0 @@ - - - -
- -