<?php is_numeric(mixed $value): bool
<?php $level = null; if ($codeString !== '') { if (\is_numeric($codeString)) { $level = (int) $codeString; } else {
<?php protected function isNumeric($value) { return \is_numeric($value); }