ctype_digit

simonLeary42 · simonLeary42 · commit a38636e020fe · 2025-12-16T19:53:52.000-05:00
diff --git a/resources/lib/utils.php b/resources/lib/utils.php
@@ -89,7 +89,7 @@ function getHyperlink($text, ...$url_components)
  */
 function str2int(string $x, ...$args): int
 {
-    if (preg_match("/^[0-9]+$/", $x)) {
+    if (ctype_digit($x)) {
         return intval($x, ...$args);
     } else {
         throw new ValueError("not digits: $x");

Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ function getHyperlink($text, ...$url_components)`
`89`	`89`	`*/`
`90`	`90`	`function str2int(string $x, ...$args): int`
`91`	`91`	`{`
`92`		`- if (preg_match("/^[0-9]+$/", $x)) {`
	`92`	`+ if (ctype_digit($x)) {`
`93`	`93`	`return intval($x, ...$args);`
`94`	`94`	`} else {`
`95`	`95`	`throw new ValueError("not digits: $x");`