version 1.2, 2006/05/17 22:19:27
|
version 1.3, 2007/10/09 21:29:16
|
Line 43 while (!window.jsMath && !showWarning) {
|
Line 43 while (!window.jsMath && !showWarning) {
|
// |
// |
if (pageDomain.match(/\..*\./) && |
if (pageDomain.match(/\..*\./) && |
(navigator.appName != 'Microsoft Internet Explorer' || |
(navigator.appName != 'Microsoft Internet Explorer' || |
navigator.platform != 'MacPPC' || !navigator.userProfile || !document.all)) { |
!navigator.platform.match(/Mac/) || !navigator.userProfile || !document.all)) { |
try { |
try { |
document.domain = pageDomain.replace(/^[^.]*\./,''); |
document.domain = pageDomain.replace(/^[^.]*\./,''); |
showWarning = 0; |
showWarning = 0; |