diff --git a/server_status.php b/server_status.php index 0811558d4c..045e40e9b4 100644 --- a/server_status.php +++ b/server_status.php @@ -20,6 +20,21 @@ if (isset($_REQUEST['ajax_request']) && $_REQUEST['ajax_request'] == true) require_once './libraries/common.inc.php'; +/** + * Function to output refresh rate selection. + */ +function PMA_choose_refresh_rate() { + echo ''; + foreach(array(1, 2, 5, 1, 20, 40, 60, 120, 300, 600) as $key => $rate) { + if ($rate % 60 == 0) { + $minrate = $rate / 60; + echo ''; + } else { + echo ''; + } + } +} + /** * Ajax request */ @@ -394,17 +409,7 @@ echo __('Runtime Information'); @@ -427,17 +432,7 @@ echo __('Runtime Information');