diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php index 8eb7f852..fdca468a 100644 --- a/adminer/include/functions.inc.php +++ b/adminer/include/functions.inc.php @@ -172,12 +172,12 @@ function html_select($name, $options, $value = "", $onchange = true, $labelled_b } /** Generate HTML if $options are empty - * @param string - * @param array - * @param string - * @param string - * @return string - */ +* @param string +* @param array +* @param string +* @param string +* @return string +*/ function select_input($attrs, $options, $value = "", $placeholder = "") { return ($options ? "