diff options
| author | Rouslan Placella <rouslan@placella.com> | 2012-11-09 17:20:00 +0400 |
|---|---|---|
| committer | Rouslan Placella <rouslan@placella.com> | 2012-11-09 19:13:23 +0400 |
| commit | 14a7be6e3784c4f5ceaa8328cc0ef67f1a9f6abd (patch) | |
| tree | 52828060fcc2204f22a55032f69e9f87d86cc68c /server_variables.php | |
| parent | 4acb613eea5e4bf530ece0a0c295cfe69f7661e3 (diff) | |
Fixed direct linking to server variable name
Diffstat (limited to 'server_variables.php')
| -rw-r--r-- | server_variables.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server_variables.php b/server_variables.php index 89985bafc4..e16d304219 100644 --- a/server_variables.php +++ b/server_variables.php @@ -142,12 +142,13 @@ $serverVars = PMA_DBI_fetch_result('SHOW GLOBAL VARIABLES;', 0, 1); /** * Displays the page */ +$value = ! empty($_REQUEST['filter']) ? htmlspecialchars($_REQUEST['filter']) : ''; $output .= '<fieldset id="tableFilter">' . '<legend>' . __('Filters') . '</legend>' . '<div class="formelement">' . '<label for="filterText">' . __('Containing the word:') . '</label>' . '<input name="filterText" type="text" id="filterText"' - . ' style="vertical-align: baseline;" />' + . ' style="vertical-align: baseline;" value="' . $value . '" />' . '</div>' . '</fieldset>'; |