From ef9d6d45122872543eab83b865802e719bd5274c Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Thu, 20 Jan 2011 23:12:34 +0100 Subject: [PATCH] Save memory --- adminer/include/editing.inc.php | 10 +++++++++- adminer/sql.inc.php | 2 +- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php index 36b6a451..abc9a5da 100644 --- a/adminer/include/editing.inc.php +++ b/adminer/include/editing.inc.php @@ -106,7 +106,15 @@ function referencable_primary($self) { * @return null */ function textarea($name, $value, $rows = 10, $cols = 80) { - echo ""; // spellcheck - not valid before HTML5 + echo ""; } /** Format time difference diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php index 48c8fbe8..5e18eb32 100644 --- a/adminer/sql.inc.php +++ b/adminer/sql.inc.php @@ -147,7 +147,7 @@ $q = $_GET["sql"]; // overwrite $q from if ($_POST) to save memory if ($_POST) { $q = $_POST["query"]; } elseif ($_GET["history"] == "all") { - $q = implode(";\n\n\n", $history); // rtrim(, ';') would possibly damage DELIMITER + $q = $history; } elseif ($_GET["history"] != "") { $q = $history[$_GET["history"]]; }