From 276e2628391254a321b73c018d80eafd5d22017d Mon Sep 17 00:00:00 2001
From: Jamie Burchell <jamieburchell@users.noreply.github.com>
Date: Wed, 22 Oct 2025 12:55:01 +0100
Subject: [PATCH] Change not-standard cast name integer to int

---
 class/services_json.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/class/services_json.php b/class/services_json.php
index dddd181..a44367a 100644
--- a/class/services_json.php
+++ b/class/services_json.php
@@ -508,8 +508,8 @@ function decode($str)
                         // return (float)$str;
 
                         // Return float or int, as appropriate
-                        return ((float)$str == (integer)$str)
-                            ? (integer)$str
+                        return ((float)$str == (int)$str)
+                            ? (int)$str
                             : (float)$str;
 
                     } elseif (preg_match('/^("|\').*(\1)$/s', $str, $m) && $m[1] == $m[2]) {