Use preferred JS detection for Opera Mini

https://dev.opera.com/articles/opera-mini-and-javascript/
inexorabletash · Oct 27, 2017 · 835abd0 · 835abd0
1 parent 1e73e18
commit 835abd0
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/polyfill.js b/polyfill.js
@@ -5590,7 +5590,7 @@ function __cons(t, a) {
           try {
             var doc;
             // Use another document/base tag/anchor for relative URL resolution, if possible
-            if (navigator.userAgent.match(/Opera Mini/)) {
+            if (Object.prototype.toString.call(window.operamini) === "[object OperaMini]") {
               iframe = document.createElement('iframe');
               iframe.style.display = 'none';
               document.documentElement.appendChild(iframe);

diff --git a/polyfill.min.js b/polyfill.min.js
diff --git a/url.js b/url.js
@@ -280,7 +280,7 @@
           try {
             var doc;
             // Use another document/base tag/anchor for relative URL resolution, if possible
-            if (navigator.userAgent.match(/Opera Mini/)) {
+            if (Object.prototype.toString.call(window.operamini) === "[object OperaMini]") {
               iframe = document.createElement('iframe');
               iframe.style.display = 'none';
               document.documentElement.appendChild(iframe);

diff --git a/web.js b/web.js
@@ -1189,7 +1189,7 @@
           try {
             var doc;
             // Use another document/base tag/anchor for relative URL resolution, if possible
-            if (navigator.userAgent.match(/Opera Mini/)) {
+            if (Object.prototype.toString.call(window.operamini) === "[object OperaMini]") {
               iframe = document.createElement('iframe');
               iframe.style.display = 'none';
               document.documentElement.appendChild(iframe);

diff --git a/web.min.js b/web.min.js