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:
authorMarc Delisle <marc@infomarc.info>2011-05-09 20:49:05 +0400
committerMarc Delisle <marc@infomarc.info>2011-05-09 20:49:05 +0400
commit13b31956aed38141836faf386d97c042a3087f48 (patch)
treee1cecbcf715c1dbe18cffab0eebd4dfe7257245a /export.php
parent555c04b4a1bb91780aa21bff2b420eb6171a995d (diff)
For easier reading, replace "!isset" with "! isset"
Diffstat (limited to 'export.php')
-rw-r--r--export.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/export.php b/export.php
index 7da25fc051..22a6324261 100644
--- a/export.php
+++ b/export.php
@@ -21,7 +21,7 @@ $export_list = PMA_getPlugins('./libraries/export/', array('export_type' => $exp
$type = $what;
// Check export type
-if (!isset($export_list[$type])) {
+if (! isset($export_list[$type])) {
die('Bad type!');
}
@@ -451,7 +451,7 @@ if ($export_type == 'server') {
// Walk over databases
foreach ($GLOBALS['pma']->databases as $current_db) {
if ((isset($tmp_select) && strpos(' ' . $tmp_select, '|' . $current_db . '|'))
- || !isset($tmp_select)) {
+ || ! isset($tmp_select)) {
if (!PMA_exportDBHeader($current_db)) {
break 2;
}