Added refresh button in export (support for F5)

Signed-off-by: Jakub Stanecki <staneckijakub@gmail.com>

1 files changed, 9 insertions, 2 deletions

diff --git a/export.php b/export.php
index 1c2fb68f84..d546e8a45a 100644
--- a/export.php
+++ b/export.php
@@ -15,6 +15,7 @@ use PhpMyAdmin\Relation;
 use PhpMyAdmin\Sanitize;
 use PhpMyAdmin\Url;
 use PhpMyAdmin\Util;
+use PhpMyAdmin\Response;
 
 /**
  * Get the variables sent or posted to this script and a core script
@@ -28,6 +29,11 @@ if (isset($_POST['output_format']) && $_POST['output_format'] == 'sendit') {
 }
 include_once 'libraries/common.inc.php';
 
+$response = Response::getInstance();
+$header   = $response->getHeader();
+$scripts  = $header->getScripts();
+$scripts->addFile('export_output.js');
+
 //check if it's the GET request to check export time out
 if (isset($_GET['check_time_out'])) {
     if (isset($_SESSION['pma_export_error'])) {
@@ -212,6 +218,7 @@ $onserver = false;
 $save_on_server = false;
 $buffer_needed = false;
 $back_button = '';
+$refreshButton = '';
 $save_filename = '';
 $file_handle = '';
 $err_url = '';
@@ -383,7 +390,7 @@ if ($save_on_server) {
                 exit();
             }
         }
-        list($html, $back_button) = Export::getHtmlForDisplayedExportHeader(
+        list($html, $back_button, $refreshButton) = Export::getHtmlForDisplayedExportHeader(
             $export_type, $db, $table
         );
         echo $html;
@@ -506,7 +513,7 @@ if ($save_on_server && ! empty($message)) {
  * Send the dump as a file...
  */
 if (empty($asfile)) {
-    echo Export::getHtmlForDisplayedExportFooter($back_button);
+    echo Export::getHtmlForDisplayedExportFooter($back_button, $refreshButton);
     return;
 } // end if