diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 5c2ca5fd7..ae097de6b 100644
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -75,24 +75,6 @@ function checkbox($name, $value, $checked, $label = "", $onclick = "") {
return (strlen($label) ? "" : $return);
}
-/** Generate HTML radio list
-* @param string
-* @param array
-* @param string
-* @param string true for no onchange, false for radio
-* @return string
-*/
-function html_select($name, $options, $value = "", $onchange = true) {
- if ($onchange) {
- return "";
- }
- $return = "";
- foreach ($options as $key => $val) {
- $return .= "";
- }
- return $return;
-}
-
/** Generate list of HTML options
* @param array array of strings or arrays (creates optgroup)
* @param mixed
@@ -115,6 +97,24 @@ function optionlist($options, $selected = null, $use_keys = false) {
return $return;
}
+/** Generate HTML radio list
+* @param string
+* @param array
+* @param string
+* @param string true for no onchange, false for radio
+* @return string
+*/
+function html_select($name, $options, $value = "", $onchange = true) {
+ if ($onchange) {
+ return "";
+ }
+ $return = "";
+ foreach ($options as $key => $val) {
+ $return .= "";
+ }
+ return $return;
+}
+
/** Get list of values from database
* @param string
* @param mixed