diff --git a/design.inc.php b/design.inc.php
index 57b6035a..44baecc8 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -14,6 +14,7 @@ A:visited { color: Navy; }
H1 { font-size: 150%; margin: 0; }
H2 { font-size: 150%; margin-top: 0; }
FIELDSET { float: left; padding: .5em; margin: 0; }
+PRE { margin: 0; font-family: serif; }
.error { color: Red; }
.message { color: Green; }
#menu { position: absolute; top: 8px; left: 8px; width: 15em; overflow: auto; white-space: nowrap; }
diff --git a/index.php b/index.php
index df9b132a..847d84ba 100644
--- a/index.php
+++ b/index.php
@@ -36,12 +36,12 @@ if (isset($_GET["dump"])) {
$result = mysql_query("SELECT * FROM information_schema.ROUTINES WHERE ROUTINE_SCHEMA = '" . mysql_real_escape_string($_GET["db"]) . "'");
if (mysql_num_rows($result)) {
echo "
" . lang('Routines') . "
\n";
- echo "\n";
+ echo "\n";
while ($row = mysql_fetch_assoc($result)) {
- echo "";
- echo "" . htmlspecialchars($row["ROUTINE_TYPE"]) . " | ";
+ echo "
";
+ echo "" . htmlspecialchars($row["ROUTINE_TYPE"]) . " | ";
echo "" . htmlspecialchars($row["ROUTINE_NAME"]) . " | "; //! parameters from SHOW CREATE {PROCEDURE|FUNCTION}
- echo "" . nl2br(htmlspecialchars($row["ROUTINE_DEFINITION"])) . " | ";
+ echo "" . htmlspecialchars($row["ROUTINE_DEFINITION"]) . " | ";
echo "
\n";
//! call, drop, replace
}
diff --git a/table.inc.php b/table.inc.php
index 79d606b1..093335db 100644
--- a/table.inc.php
+++ b/table.inc.php
@@ -36,9 +36,9 @@ if (mysql_get_server_info() >= 5) {
$result = mysql_query("SHOW TRIGGERS LIKE '" . mysql_real_escape_string($_GET["table"]) . "'");
if (mysql_num_rows($result)) {
echo "" . lang('Triggers') . "
\n";
- echo "\n";
+ echo "\n";
while ($row = mysql_fetch_assoc($result)) {
- echo "$row[Timing] | $row[Event] | " . htmlspecialchars($row["Statement"]) . " |
\n";
+ echo "$row[Timing] | $row[Event] | " . htmlspecialchars($row["Statement"]) . " |
\n";
}
echo "
\n";
}