diff options
| -rw-r--r-- | .eslintrc.json | 3 | ||||
| -rw-r--r-- | web/load.js | 6 |
2 files changed, 8 insertions, 1 deletions
diff --git a/.eslintrc.json b/.eslintrc.json index 7eae8b08..943c1e35 100644 --- a/.eslintrc.json +++ b/.eslintrc.json @@ -55,6 +55,7 @@ "no-prototype-builtins": "off",
"no-multi-assign": "off",
"no-bitwise": "off",
- "prefer-rest-params": "off"
+ "prefer-rest-params": "off",
+ "function-paren-newline": "off"
}
}
\ No newline at end of file diff --git a/web/load.js b/web/load.js index 730136f1..cb5defd8 100644 --- a/web/load.js +++ b/web/load.js @@ -137,6 +137,12 @@ }); + // Hack for new versions of Android + if (navigator.userAgent.indexOf('Android') !== -1 && navigator.userAgent.indexOf('OPR') !== -1) { + var __originalUserAgent = navigator.userAgent; + navigator.__defineGetter__('userAgent', function () { return __originalUserAgent.replace(/\/OPR[^)]*/g, ''); }); + } + extjsVersion = '6.2.0'; fontAwesomeVersion = '4.7.0'; olVersion = '4.3.2'; |