From 288d01d0dbf1f040aa601f46798314cf874312b6 Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Fri, 25 Jun 2004 22:16:00 +0000 Subject: [PATCH] check if stylepath and skin is set (can happen if user didn't get the generated js for some reason) --- stylesheets/wikibits.js | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js index d297157b52..fbae991b60 100644 --- a/stylesheets/wikibits.js +++ b/stylesheets/wikibits.js @@ -27,14 +27,15 @@ else if (window.attachEvent) window.attachEvent("onload",onloadhook); // document.write special stylesheet links -if (is_opera_preseven) { - document.write(''); -} else if (is_opera_seven) { - document.write(''); -} else if (is_khtml) { - document.write(''); +if(typeof stylepath != 'undefined' && typeof skin != 'undefined') { + if (is_opera_preseven) { + document.write(''); + } else if (is_opera_seven) { + document.write(''); + } else if (is_khtml) { + document.write(''); + } } - // Un-trap us from framesets if( window.top != window ) window.top.location = window.location; -- 2.20.1