mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-13 18:14:07 +02:00
Code Issues Releases Wiki Activity

Use JUSH only if loaded

Browse Source 
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@173 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
jakubvrana
2007-07-14 09:33:16 +00:00
parent f041128de6
commit af753c3b1a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
design.inc.php
View File

@@ -15,7 +15,7 @@ function page_header($title) {
<?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 () { jush.highlight_tag('pre'); }</script> <script type="text/javascript">window.onload = function () { if (jush) jush.highlight_tag('pre'); }</script>
<?php } ?> <?php } ?>
</head> </head>