From bb5fe3f2d63cdf0b8281b25cd060ffbf39856ab5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Fri, 17 Jun 2011 10:35:23 +0200 Subject: [PATCH] Factor out refresh rate selection and use ngettext for it --- server_status.php | 39 +++++++++++++++++---------------------- 1 file changed, 17 insertions(+), 22 deletions(-) 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');