Rev 818 | Rev 829 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 818 | Rev 819 | ||
---|---|---|---|
Line 28... | Line 28... | ||
28 | // samesite_policy will bet set by oidplus.min.js.php |
28 | // samesite_policy will bet set by oidplus.min.js.php |
29 | 29 | ||
30 | var pageChangeCallbacks = []; |
30 | var pageChangeCallbacks = []; |
31 | var pageChangeRequestCallbacks = []; |
31 | var pageChangeRequestCallbacks = []; |
32 | 32 | ||
33 | var oidplus_menu_width = 450; // In pixels. TODO: Make configurable |
33 | var oidplus_menu_width = 450; // In pixels. You can change this at runtime because of the glayoutWorkaroundB() workaround |
34 | 34 | ||
35 | function isInternetExplorer() { |
35 | function isInternetExplorer() { |
36 | // see also includes/functions.inc.php |
36 | // see also includes/functions.inc.php |
37 | var ua = window.navigator.userAgent; |
37 | var ua = window.navigator.userAgent; |
38 | return ((ua.indexOf("MSIE ") > 0) || (ua.indexOf("Trident/") > 0)); |
38 | return ((ua.indexOf("MSIE ") > 0) || (ua.indexOf("Trident/") > 0)); |