From 874a18a4bc74971f1ec199571228dd6e1c7e4b5c Mon Sep 17 00:00:00 2001 From: Sebastian Mendel Date: Tue, 6 Dec 2005 12:56:23 +0000 Subject: [PATCH] - use variable name as title if title is empty - make use of PMA_formatNumber() for non byte numeric values --- server_engines.php | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/server_engines.php b/server_engines.php index 1bb5882fe..ec2ce06d4 100644 --- a/server_engines.php +++ b/server_engines.php @@ -88,7 +88,9 @@ function PMA_generateEngineDetails($variables, $like = null) { $dt_table .= ' ' . PMA_showHint($details['desc']) . "\n"; } $dt_table .= ' ' . "\n" - . ' ' . htmlspecialchars($details['title']) . "\n" + . ' ' + . htmlspecialchars( empty($details['title']) + ? $var : $details['title'] ) . "\n" . ' ' . "\n" . ' '; switch ($details['type']) { @@ -97,8 +99,11 @@ function PMA_generateEngineDetails($variables, $like = null) { $dt_table .= $parsed_size[0] . ' ' . $parsed_size[1]; unset($parsed_size); break; + case PMA_ENGINE_DETAILS_TYPE_NUMERIC: + $dt_table .= PMA_formatNumber($mysql_vars[$var]) . ' '; + break; default: - $dt_table .= htmlspecialchars($mysql_vars[$var]); + $dt_table .= htmlspecialchars($mysql_vars[$var]) . ' '; } $dt_table .= '' . "\n" . '' . "\n";