From 6a63c0ddc7bbaf232b7a81b18f99130a0ce63301 Mon Sep 17 00:00:00 2001
From: Pavel Shevaev <pacha.shevaev@gmail.com>
Date: Tue, 13 May 2025 16:17:50 +0300
Subject: [PATCH] Making PHPStan happy

---
 jsm.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jsm.inc.php b/jsm.inc.php
index b6fee16..55c1b3d 100644
--- a/jsm.inc.php
+++ b/jsm.inc.php
@@ -457,7 +457,7 @@ class JSM
   private function _extractDefNameAndArgs(string $full_name) : array
   {
     $pos = strpos($full_name, '(');
-    if($pos == -1)
+    if($pos === false)
       throw new Exception("Bad args string: $full_name");
     $name = substr($full_name, 0, $pos);