public static function get_int($key, $min = null, $max = null, $default = null) { return CoreInput::get_int($key, $min, $max, $default); }