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

adminer 4.7.2

Browse source
This commit is contained in:
Pau Capó 2019-07-18 13:42:17 +02:00
parent 8ea3d74c8c
commit 0521832bad
6 changed files with 522 additions and 512 deletions
Download patch file Download diff file Expand all files Collapse all files

12
plugins/AdminerEnumOption.php
View file

@ -1,11 +1,11 @@
<?php
/** Use <select><option> for enum edit instead of <input type="radio">
* @link https://www.adminer.org/plugins/#use
* @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)
*/
* @link https://www.adminer.org/plugins/#use
* @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) {
@ -37,4 +37,4 @@ class AdminerEnumOption {
}
}
}
}