From: Jakub Vrana Date: Thu, 11 Jan 2018 14:14:05 +0000 (+0100) Subject: Unindent doc-comments X-Git-Tag: v4.4.0~77 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=329fa55af5be4d8ccdd949276c90aad14dfdf438;p=adminer.git Unindent doc-comments --- 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 ? "