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

Use local JUSH version

Browse source 
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@622 7c3ca157-0c34-0410-bff1-cbf682f78f5c
This commit is contained in:
jakubvrana 2009-05-29 17:05:20 +00:00
parent b8b45482f1
commit 18d744a0cb
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
_compile.php
View file

@ -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");

4
design.inc.php
View file

@ -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');
}