Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichal Čihař <mcihar@suse.cz>2011-07-22 11:10:37 +0400
committerMichal Čihař <mcihar@suse.cz>2011-07-22 11:10:37 +0400
commit219ec73d69a0bee94ac3bf98757db25360862b39 (patch)
treea45557d4d7faaa44cd9f916306cacd278e0a6c68 /db_export.php
parent36298932e2a80bbd207b3b86475033f8b728a0b4 (diff)
Spacing around if
Diffstat (limited to 'db_export.php')
-rw-r--r--db_export.php6
1 files changed, 3 insertions, 3 deletions
diff --git a/db_export.php b/db_export.php
index aab4c51c70..f8a4762d0e 100644
--- a/db_export.php
+++ b/db_export.php
@@ -49,14 +49,14 @@ if (!empty($selected_tbl) && empty($table_select)) {
}
// Check if the selected tables are defined in $_GET (from clicking Back button on export.php)
-if(isset($_GET['table_select'])) {
+if (isset($_GET['table_select'])) {
$_GET['table_select'] = urldecode($_GET['table_select']);
$_GET['table_select'] = explode(",", $_GET['table_select']);
}
foreach ($tables as $each_table) {
- if(isset($_GET['table_select'])) {
- if(in_array($each_table['Name'], $_GET['table_select'])) {
+ if (isset($_GET['table_select'])) {
+ if (in_array($each_table['Name'], $_GET['table_select'])) {
$is_selected = ' selected="selected"';
} else {
$is_selected = '';