From 037d224fd7d6bfbb6b82b314d1d68d5668421d5e Mon Sep 17 00:00:00 2001
From: henderkes <m@pyc.ac>
Date: Thu, 18 Dec 2025 12:38:17 +0100
Subject: [PATCH] why does phpstan think this is necessary?

---
 src/SPC/builder/Extension.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SPC/builder/Extension.php b/src/SPC/builder/Extension.php
index 0df87e91..e79b886b 100644
--- a/src/SPC/builder/Extension.php
+++ b/src/SPC/builder/Extension.php
@@ -385,7 +385,7 @@ class Extension
                 logger()->info('Shared extension [' . $this->getName() . '] was already built, skipping (' . $this->getName() . '.so)');
                 return;
             }
-            if (Config::getExt($this->getName(), 'type') === 'addon') {
+            if ((string) Config::getExt($this->getName(), 'type') === 'addon') {
                 return;
             }
             logger()->info('Building extension [' . $this->getName() . '] as shared extension (' . $this->getName() . '.so)');