]> git.joonet.de Git - adminer.git/commitdiff
Maintain export page
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 31 Jul 2008 14:29:01 +0000 (14:29 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 31 Jul 2008 14:29:01 +0000 (14:29 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@431 7c3ca157-0c34-0410-bff1-cbf682f78f5c

design.inc.php

index e1c6bb7690ab5ebacb23c14842c34dd7126a8108..a4fedcf38e67042b2a73d5ca1bd61a7ccc2cf4dd 100644 (file)
@@ -84,6 +84,7 @@ function page_footer($missing = false) {
 </select>
 <?php if (isset($_GET["sql"])) { ?><input type="hidden" name="sql" value="" /><?php } ?>
 <?php if (isset($_GET["schema"])) { ?><input type="hidden" name="schema" value="" /><?php } ?>
+<?php if (isset($_GET["dump"])) { ?><input type="hidden" name="dump" value="" /><?php } ?>
 </p>
 <noscript><p><input type="submit" value="<?php echo lang('Use'); ?>" /></p></noscript>
 </form>