mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-14 02:23:59 +02:00
Code Issues Releases Wiki Activity

Save bytes

Browse Source
This commit is contained in:
Jakub Vrana
2018-03-09 18:18:45 +01:00
parent 8c4726bb61
commit 6ed94f1f6d
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
adminer/include/adminer.inc.php
View File

@@ -1020,12 +1020,12 @@ bodyLoad('<?php echo (is_object($connection) ? preg_replace('~^(\d\.?\d).*~s', '
} }
} }
} }
echo (isset($_GET["import"]) ? '<input type="hidden" name="import" value="">' foreach (array("import", "sql", "schema", "dump", "privileges") as $val) {
: (isset($_GET["sql"]) ? '<input type="hidden" name="sql" value="">' if (isset($_GET[$val])) {
: (isset($_GET["schema"]) ? '<input type="hidden" name="schema" value="">' echo "<input type='hidden' name='$val' value=''>";
: (isset($_GET["dump"]) ? '<input type="hidden" name="dump" value="">' break;
: (isset($_GET["privileges"]) ? '<input type="hidden" name="privileges" value="">' }
: ""))))); }
echo "</p></form>\n"; echo "</p></form>\n";
} }