From 45055441684da27469b91e1ed042fc04e451a64f Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Tue, 29 Nov 2022 12:59:59 -0800
Subject: [PATCH] update_versions: fix spurious PHP warning

---
 tools/update_versions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/update_versions b/tools/update_versions
index a7a4d584dc..9baeaea401 100755
--- a/tools/update_versions
+++ b/tools/update_versions
@@ -471,7 +471,7 @@ function process_version($a, $v, $p) {
     // if API version isn't specified in version.xml,
     // try to find it embedded in the executable
     //
-    if (!strlen($vers->api_version)) {
+    if (empty($vers->api_version)) {
         $vers->api_version = get_api_version($a, $v, $p, $fds);
     }