From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Sat, 14 Jul 2007 09:33:16 +0000 (+0000)
Subject: Use JUSH only if loaded
X-Git-Tag: v3.0.0~1335
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=af753c3b1a629a747bf18fb994a456a6d3290990;p=adminer.git

Use JUSH only if loaded

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@173 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---

diff --git a/design.inc.php b/design.inc.php
index efce9d94..12f8c7ca 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -15,7 +15,7 @@ function page_header($title) {
 <?php if ($_COOKIE["highlight"] == "jush") { ?>
 <style type="text/css">@import url(http://jush.info/jush.css);</style>
 <script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>
-<script type="text/javascript">window.onload = function () { jush.highlight_tag('pre'); }</script>
+<script type="text/javascript">window.onload = function () { if (jush) jush.highlight_tag('pre'); }</script>
 <?php } ?>
 </head>