@@ 478-480 (lines=3) @@ | ||
475 | echo "<p><input type=\"radio\" id=\"output1\" name=\"output\" value=\"show\" checked=\"checked\" /><label for=\"output1\">{$lang['strshow']}</label>\n"; |
|
476 | echo "<br/><input type=\"radio\" id=\"output2\" name=\"output\" value=\"download\" /><label for=\"output2\">{$lang['strdownload']}</label>\n"; |
|
477 | // MSIE cannot download gzip in SSL mode - it's just broken |
|
478 | if (!(strstr($_SERVER['HTTP_USER_AGENT'], 'MSIE') && isset($_SERVER['HTTPS']))) { |
|
479 | echo "<br /><input type=\"radio\" id=\"output3\" name=\"output\" value=\"gzipped\" /><label for=\"output3\">{$lang['strdownloadgzipped']}</label>\n"; |
|
480 | } |
|
481 | echo "</p>\n"; |
|
482 | echo "<p><input type=\"hidden\" name=\"action\" value=\"export\" />\n"; |
|
483 | echo "<input type=\"hidden\" name=\"subject\" value=\"database\" />\n"; |
@@ 549-551 (lines=3) @@ | ||
546 | echo "<p><input type=\"radio\" id=\"output1\" name=\"output\" value=\"show\" checked=\"checked\" /><label for=\"output1\">{$lang['strshow']}</label>\n"; |
|
547 | echo "<br/><input type=\"radio\" id=\"output2\" name=\"output\" value=\"download\" /><label for=\"output2\">{$lang['strdownload']}</label>\n"; |
|
548 | // MSIE cannot download gzip in SSL mode - it's just broken |
|
549 | if (!(strstr($_SERVER['HTTP_USER_AGENT'], 'MSIE') && isset($_SERVER['HTTPS']))) { |
|
550 | echo "<br /><input type=\"radio\" id=\"output3\" name=\"output\" value=\"gzipped\" /><label for=\"output3\">{$lang['strdownloadgzipped']}</label>\n"; |
|
551 | } |
|
552 | echo "</p>\n"; |
|
553 | echo "<p><input type=\"hidden\" name=\"action\" value=\"export\" />\n"; |
|
554 | echo "<input type=\"hidden\" name=\"subject\" value=\"schema\" />\n"; |