plugins/admin/LangManager.php
changeset 826 dcf5381ce8ba
parent 801 eb8b23f11744
child 1081 745200a9cc2a
equal deleted inserted replaced
825:9d5c04c1414f 826:dcf5381ce8ba
    45       {
    45       {
    46         $parm = $matches[2][$i];
    46         $parm = $matches[2][$i];
    47         
    47         
    48         // Is this parameter in the form of an integer?
    48         // Is this parameter in the form of an integer?
    49         // (designed to ease validation later)
    49         // (designed to ease validation later)
    50         if ( preg_match('/^[0-9]+$/', $parm) )
    50         if ( ctype_digit($parm) )
    51           // Yes, run intval(), this enabling is_int()-ish checks
    51           // Yes, run intval(), this enabling is_int()-ish checks
    52           $parm = intval($parm);
    52           $parm = intval($parm);
    53         
    53         
    54         $parms[$matches[1][$i]] = $parm;
    54         $parms[$matches[1][$i]] = $parm;
    55       }
    55       }