1
0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 15:47:00 +02:00

MongoDB: alter indexes form

This commit is contained in:
Jakub Vrana
2014-01-11 19:06:25 -08:00
parent c106cf2a34
commit 63a04ff753
3 changed files with 30 additions and 14 deletions

View File

@@ -159,7 +159,7 @@ function html_select($name, $options, $value = "", $onchange = true) {
function select_input($attrs, $options, $value = "", $placeholder = "") {
return ($options
? "<select$attrs><option value=''>$placeholder" . optionlist($options, $value, true) . "</select>"
: "<input$attrs value='" . h($value) . "' placeholder='$placeholder'>"
: "<input$attrs size='10' value='" . h($value) . "' placeholder='$placeholder'>"
);
}