diff --git a/_compile.php b/_compile.php index 59f482d8..f20ad259 100644 --- a/_compile.php +++ b/_compile.php @@ -157,13 +157,13 @@ if ($_SERVER["argc"] > 1) { $_COOKIE["lang"] = $_SERVER["argv"][1]; include dirname(__FILE__) . "/include/lang.inc.php"; if ($_SERVER["argc"] != 2 || !isset($langs[$_COOKIE["lang"]])) { - echo "Usage: php _compile.php [lang]\nPurpose: Compile phpMinAdmin[-lang].php from index.php.\n"; + echo "Usage: php _compile.php [lang]\nPurpose: Compile adminer[-lang].php from index.php.\n"; exit(1); } include dirname(__FILE__) . "/lang/$_COOKIE[lang].inc.php"; } -$filename = "phpMinAdmin" . ($_COOKIE["lang"] ? "-$_COOKIE[lang]" : "") . ".php"; +$filename = "adminer" . ($_COOKIE["lang"] ? "-$_COOKIE[lang]" : "") . ".php"; $file = file_get_contents(dirname(__FILE__) . "/index.php"); $file = preg_replace_callback('~\\b(include|require) "([^"]*)";~', 'put_file', $file); $file = preg_replace("~if \\(isset\\(\\\$_SESSION\\[\"coverage.*\n}\n| && !isset\\(\\\$_SESSION\\[\"coverage\"\\]\\)~sU", '', $file); diff --git a/_coverage.php b/_coverage.php index 75db5f1f..8363ca46 100644 --- a/_coverage.php +++ b/_coverage.php @@ -1,7 +1,7 @@ DELIMITER ;; -CREATE PROCEDURE phpminadmin_drop () BEGIN +CREATE PROCEDURE adminer_drop () BEGIN DECLARE _table_name, _engine, _table_collation varchar(64); DECLARE _table_comment varchar(64); DECLARE done bool DEFAULT 0; @@ -121,8 +121,8 @@ $result->free(); CLOSE tables; END;; DELIMITER ; -CALL phpminadmin_drop; -DROP PROCEDURE phpminadmin_drop; +CALL adminer_drop; +DROP PROCEDURE adminer_drop; -<?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin'); ?> +<?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('Adminer'); ?> - - + + -"> +">
@@ -61,8 +61,8 @@ function page_footer($missing = false) {