Use local JUSH version

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@622 7c3ca157-0c34-0410-bff1-cbf682f78f5c

diff --git a/_compile.php b/_compile.php
index 7f33a695f3087de5ba94dfdf5a37d28b120497af..6977f8ba8eed48d50f58513582c0697f2a40a86e 100644 (file)
--- a/_compile.php
+++ b/_compile.php
@@ -173,6 +173,7 @@ if ($_COOKIE["lang"]) {
 $replace = 'preg_replace("~\\\\\\\\?.*~", "", $_SERVER["REQUEST_URI"]) . "?file=\\0&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 8b69fe0dfab05858432f7d6ee956d99ee3438cf8..2e1d90fc0580ff719286ada3f0c35d2fd8d6ca89 100644 (file)
--- 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');
 }