jush can be undefined
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@302 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
parent
2a03e63d75
commit
061e8adc6d
|
@ -15,7 +15,7 @@ function page_header($title, $breadcrumb = array(), $title2 = "") {
|
||||||
<?php if ($_COOKIE["highlight"] == "jush") { ?>
|
<?php if ($_COOKIE["highlight"] == "jush") { ?>
|
||||||
<style type="text/css">@import url(http://jush.info/jush.css);</style>
|
<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" src="http://jush.info/jush.js" defer="defer"></script>
|
||||||
<script type="text/javascript">window.onload = function () { if (jush) jush.highlight_tag('pre'); }</script>
|
<script type="text/javascript">window.onload = function () { if (typeof jush != 'undefined') jush.highlight_tag('pre'); }</script>
|
||||||
<?php } ?>
|
<?php } ?>
|
||||||
</head>
|
</head>
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue