server/adminer
1
0
Fork 0
Code Releases Packages Activity Actions

updated plugins and version; added table filter

Browse source
This commit is contained in:
Pau Capó 2018-02-17 16:12:52 +01:00
parent b92f7a0a63
commit 8c7fe51582
9 changed files with 1153 additions and 1107 deletions
Download patch file Download diff file Expand all files Collapse all files

21
plugins/AdminerEnumOption.php
View file

@ -2,26 +2,29 @@
/** Use <select><option> for enum edit instead of <input type="radio">
* @link https://www.adminer.org/plugins/#use
* @author Jakub Vrana, http://www.vrana.cz/
* @license http://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
* @license http://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
* @author Jakub Vrana, https://www.vrana.cz/
* @license https://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
* @license https://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
*/
class AdminerEnumOption {
function editInput($table, $field, $attrs, $value) {
if ($field["type"] == "enum") {
$options = array("" => array());
$options = array();
$selected = $value;
if (isset($_GET["select"])) {
$options[""][-1] = lang('original');
$options[-1] = lang('original');
if ($selected === null) {
$selected = -1;
}
}
if ($field["null"]) {
$options[""][""] = "NULL";
$options[""] = "NULL";
if ($value === null && !isset($_GET["select"])) {
$selected = "";
}
}
$options[""][0] = lang('empty');
$options[0] = lang('empty');
preg_match_all("~'((?:[^']|'')*)'~", $field["length"], $matches);
foreach ($matches[1] as $i => $val) {
$val = stripcslashes(str_replace("''", "'", $val));
@ -33,5 +36,5 @@ class AdminerEnumOption {
return "<select$attrs>" . optionlist($options, (string) $selected, 1) . "</select>"; // 1 - use keys
}
}
}