From 329fa55af5be4d8ccdd949276c90aad14dfdf438 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Thu, 11 Jan 2018 15:14:05 +0100 Subject: [PATCH] Unindent doc-comments --- adminer/include/functions.inc.php | 12 ++++++------ adminer/static/functions.js | 32 +++++++++++++++---------------- 2 files changed, 22 insertions(+), 22 deletions(-) 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 ? "