From: Jakub Vrana Date: Sun, 12 Jan 2014 03:06:25 +0000 (-0800) Subject: MongoDB: alter indexes form X-Git-Tag: v4.0.3~15 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=63a04ff75305cd27971ef82b59cb76f35219152c;p=adminer.git MongoDB: alter indexes form --- diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php index f31ff82e..8aac0fb5 100644 --- a/adminer/include/functions.inc.php +++ b/adminer/include/functions.inc.php @@ -159,7 +159,7 @@ function html_select($name, $options, $value = "", $onchange = true) { function select_input($attrs, $options, $value = "", $placeholder = "") { return ($options ? "