From 18d744a0cbd0fad5a1f92e72bfa7597630fdc81a Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Fri, 29 May 2009 17:05:20 +0000
Subject: [PATCH] Use local JUSH version

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

diff --git a/_compile.php b/_compile.php
index 7f33a695..6977f8ba 100644
--- a/_compile.php
+++ b/_compile.php
@@ -173,6 +173,7 @@ if ($_COOKIE["lang"]) {
 $replace = 'preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=\\0&amp;version=' . $VERSION;
 $file = preg_replace('~default\\.css|functions\\.js|favicon\\.ico|(up|down|plus|minus)\\.gif~', '<?php echo ' . $replace . '"; ?>', $file);
 $file = preg_replace('~arrow\\.gif~', '" . ' . $replace, $file);
+$file = str_replace("externals/jush/", "http://jush.sourceforge.net/", $file);
 $file = str_replace('error_reporting(E_ALL & ~E_NOTICE);', 'error_reporting(E_ALL & ~E_NOTICE);
 if (isset($_GET["file"])) {
 	header("Expires: " . gmdate("D, d M Y H:i:s", time() + 365*24*60*60) . " GMT");
diff --git a/design.inc.php b/design.inc.php
index 8b69fe0d..2e1d90fc 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -107,10 +107,10 @@ 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" src="externals/jush/jush.js"></script>
 <script type="text/javascript">
 if (typeof jush != 'undefined') {
-	jush.style('http://jush.sourceforge.net/jush.css');
+	jush.style('externals/jush/jush.css');
 	jush.highlight_tag('pre');
 	jush.highlight_tag('code');
 }