beenull/adminerevo
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Move syntax highlighting to the end

Browse source 
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@461 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
jakubvrana 2008-08-28 10:28:56 +00:00
parent ac0a012c60
commit 9b5c5dd645
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
design.inc.php
View file

@ -12,11 +12,6 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " 1.7.1-dev"; ?></title>
<link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
<link rel="stylesheet" type="text/css" href="default.css" /><?php // Ondrej Valka, http://valka.info ?>
<?php if ($_COOKIE["highlight"] == "jush") { ?>
<style type="text/css">@import url(http://jush.sourceforge.net/jush.css);</style>
<script type="text/javascript" src="http://jush.sourceforge.net/jush.js" defer="defer"></script>
<script type="text/javascript">window.onload = function () { if (typeof jush != 'undefined') jush.highlight_tag('pre'); }</script>
<?php } ?>
</head>
<body>
@ -108,6 +103,16 @@ function page_footer($missing = false) {
?>
</div>
<?php if ($_COOKIE["highlight"] == "jush") { ?>
<script type="text/javascript" src="http://jush.sourceforge.net/jush.js"></script>
<script type="text/javascript">
if (typeof jush != 'undefined') {
jush.style('http://jush.sourceforge.net/jush.css');
jush.highlight_tag('pre');
}
</script>
<?php } ?>
</body>
</html>
<?php