Merge branch 'master' of https://github.com/gnuboard/g5 into g54

2018-10-18 11:43:40 +09:00
parent ffdbaa5680 c8d41381c9
commit e40344fe96
6 changed files with 22 additions and 5 deletions
@@ -2132,12 +2132,20 @@ function abs_ip2long($ip='')

 function get_selected($field, $value)
 {
+    if( is_int($value) ){
+        return ((int) $field===$value) ? ' selected="selected"' : '';
+    }
+
    return ($field===$value) ? ' selected="selected"' : '';
 }


 function get_checked($field, $value)
 {
+    if( is_int($value) ){
+        return ((int) $field===$value) ? ' checked="checked"' : '';
+    }
+
    return ($field===$value) ? ' checked="checked"' : '';
 }