From c54ba0136116d53edc48a921d9a1036b43247ea2 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Thu, 28 Feb 2008 19:11:20 +0000
Subject: [PATCH] JUSH moved to SF.net

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@372 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/design.inc.php b/design.inc.php
index 9eaa50e6..e3f709e8 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -13,8 +13,8 @@ function page_header($title, $breadcrumb = array(), $title2 = "") {
 <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.info/jush.css);</style>
-<script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>
+<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>