Чи всі символи цифри

Вихідний код

function allDigits($s) {
    for ($i = 0; $i < strlen($s); $i++) {
        $c = $s[$i];
        if ($c < '0' || $c > '9') {
            return false;
        }
    }
    return true;
}