From 9b2aa3c40d65d40a293c433dc581f0aa0c2bc354 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Wed, 21 Jul 2010 09:55:13 +0200 Subject: [PATCH] Indentation. --- libraries/common.lib.php | 23 ++++++++++++----------- libraries/export/latex.php | 12 ++++++------ 2 files changed, 18 insertions(+), 17 deletions(-) diff --git a/libraries/common.lib.php b/libraries/common.lib.php index 16e115940..e4ceb54c1 100644 --- a/libraries/common.lib.php +++ b/libraries/common.lib.php @@ -2842,18 +2842,19 @@ function PMA_expandUserString($string, $escape = NULL) { /* Replacement mapping */ $replace = array( - '@HTTP_HOST@' => $http_host, - '@SERVER@' => $server_name, - '__SERVER__' => $server_name, - '@VERBOSE@' => $server_verbose, - '@VSERVER@' => $server_verbose_or_name, - '@DATABASE@' => $database, - '__DB__' => $database, - '@TABLE@' => $table, - '__TABLE__' => $table, - '@PHPMYADMIN@' => $phpmyadmin_version, - ); + '@HTTP_HOST@' => $http_host, + '@SERVER@' => $server_name, + '__SERVER__' => $server_name, + '@VERBOSE@' => $server_verbose, + '@VSERVER@' => $server_verbose_or_name, + '@DATABASE@' => $database, + '__DB__' => $database, + '@TABLE@' => $table, + '__TABLE__' => $table, + '@PHPMYADMIN@' => $phpmyadmin_version, + ); + /* Optional escaping */ if (!is_null($escape)) { foreach($replace as $key => $val) { $replace[$key] = $escape($val); diff --git a/libraries/export/latex.php b/libraries/export/latex.php index ed829455c..86200d8bd 100644 --- a/libraries/export/latex.php +++ b/libraries/export/latex.php @@ -81,12 +81,12 @@ if (isset($plugin_list)) { * @access private */ function PMA_texEscape($string) { - $escape = array('$', '%', '{', '}', '&', '#', '_', '^'); - $cnt_escape = count($escape); - for ($k=0; $k < $cnt_escape; $k++) { - $string = str_replace($escape[$k], '\\' . $escape[$k], $string); - } - return $string; + $escape = array('$', '%', '{', '}', '&', '#', '_', '^'); + $cnt_escape = count($escape); + for ($k=0; $k < $cnt_escape; $k++) { + $string = str_replace($escape[$k], '\\' . $escape[$k], $string); + } + return $string; } /**