From: Jakub Vrana Date: Tue, 24 Jun 2014 13:34:15 +0000 (+0200) Subject: Change Dump to Export X-Git-Tag: v4.2.0~66 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=50b33db7e26062d6b3e255f247200f97cdb83a43;p=adminer.git Change Dump to Export --- diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index cbd526bd..916b679a 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -828,7 +828,7 @@ bodyLoad('server_info, if (DB == "" || !$missing) { echo "