changeset 12785 | 22066b02887f |
parent 12503 | 03e307952816 |
--- a/util/jsonpointer.lua Thu Oct 20 16:56:45 2022 +0200 +++ b/util/jsonpointer.lua Wed Oct 19 16:25:05 2022 +0200 @@ -1,6 +1,4 @@ -local m_type = math.type or function (n) - return n % 1 == 0 and n <= 9007199254740992 and n >= -9007199254740992 and "integer" or "float"; -end; +local m_type = math.type; local function unescape_token(escaped_token) local unescaped = escaped_token:gsub("~1", "/"):gsub("~0", "~")