use regex instead of is_numeric

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

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