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:
authorHugues Peccatte <hugues.peccatte@gmail.com>2015-09-26 14:50:49 +0300
committerHugues Peccatte <hugues.peccatte@gmail.com>2015-09-26 14:50:49 +0300
commit71b62bcef9861e452becb02e63b382aeec8645ba (patch)
tree015ad14fc966ee5d8681695a67ed8e6fc628d829 /export.php
parent5f17b32689ebc8850d83bae299bcdb8957531495 (diff)
parent62859dffbc6430d4b4d647c2f9cabd66bc4bb7f5 (diff)
Merge remote-tracking branch 'origin/master' into useNamespaces_master
Diffstat (limited to 'export.php')
-rw-r--r--export.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/export.php b/export.php
index 89e1acd3d9..2b499a273e 100644
--- a/export.php
+++ b/export.php
@@ -410,7 +410,7 @@ if (!defined('TESTSUITE')) {
// Will we need relation & co. setup?
$do_relation = isset($GLOBALS[$what . '_relation']);
$do_comments = isset($GLOBALS[$what . '_include_comments'])
- || isset($GLOBALS[$what . '_comments']) ;
+ || isset($GLOBALS[$what . '_comments']);
$do_mime = isset($GLOBALS[$what . '_mime']);
if ($do_relation || $do_comments || $do_mime) {
$cfgRelation = PMA_getRelationsParam();