| @@ 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"; |
|