From 63a04ff75305cd27971ef82b59cb76f35219152c Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sat, 11 Jan 2014 19:06:25 -0800 Subject: [PATCH] MongoDB: alter indexes form --- adminer/include/functions.inc.php | 2 +- adminer/indexes.inc.php | 8 ++++++-- adminer/static/editing.js | 34 +++++++++++++++++++++---------- 3 files changed, 30 insertions(+), 14 deletions(-) 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 ? "