suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use UA string sniffing for isFirefox ; check for "Mobile" to include FirefoxOS among Mobile platforms.

Browse Source
This commit is contained in:
Frédéric Wang 2013-03-08 10:37:52 +01:00
parent fc7aa04a44
commit f0aea1669d
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
unpacked/MathJax.js
View File

@ -1,3 +1,5 @@
/* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
/* vim: set ts=2 et sw=2 tw=80: */
/************************************************************* /*************************************************************
* *
* MathJax.js * MathJax.js
@ -2336,8 +2338,8 @@ MathJax.Hub.Startup = {
isMac: (navigator.platform.substr(0,3) === "Mac"), isMac: (navigator.platform.substr(0,3) === "Mac"),
isPC: (navigator.platform.substr(0,3) === "Win"), isPC: (navigator.platform.substr(0,3) === "Win"),
isMSIE: (window.ActiveXObject != null && window.clipboardData != null), isMSIE: (window.ActiveXObject != null && window.clipboardData != null),
isFirefox: ((window.netscape != null || window.mozPaintCount != null) && isFirefox: (navigator.userAgent.match(/Gecko/) != null &&
document.ATTRIBUTE_NODE != null && !window.opera), navigator.userAgent.match(/KHTML/) == null),
isSafari: (navigator.userAgent.match(/ (Apple)?WebKit\//) != null && isSafari: (navigator.userAgent.match(/ (Apple)?WebKit\//) != null &&
(!window.chrome || window.chrome.loadTimes == null)), (!window.chrome || window.chrome.loadTimes == null)),
isChrome: (window.chrome != null && window.chrome.loadTimes != null), isChrome: (window.chrome != null && window.chrome.loadTimes != null),
@ -2415,7 +2417,8 @@ MathJax.Hub.Startup = {
} }
} }
browser.isMobile = (navigator.appVersion.match(/Android/i) != null || browser.isMobile = (navigator.appVersion.match(/Android/i) != null ||
navigator.userAgent.match(/ Fennec\//) != null); navigator.userAgent.match(/ Fennec\//) != null ||
navigator.userAgent.match(/Mobile/) != null);
}, },
Opera: function (browser) {browser.version = opera.version()}, Opera: function (browser) {browser.version = opera.version()},
MSIE: function (browser) { MSIE: function (browser) {