Update uri.php

This commit is contained in:
Namhyeon Go 2020-01-19 11:02:11 +09:00 committed by GitHub
parent 399b8e2638
commit 242274b1b6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,8 @@
<?php
/**
* @file uri.php
* @date 2018-04-13
* @created_on 2018-04-13
* @updated_on 2020-01-19
* @author Go Namhyeon <gnh1201@gmail.com>
* @brief URI module
*/
@ -341,6 +342,13 @@ if(!check_function_exists("get_array")) {
}
}
if(!check_function_exists("get_int")) {
function get_int($str) {
return intval(preg_replace('/[^0-9]/', '', $str));
}
}
if(!check_function_exists("check_is_string_not_array")) {
function check_is_string_not_array($str) {
return (is_string($str) && !(is_array($str) || $str == "Array"));