From d02c4040179abf75ffc991dce51f2263019534b0 Mon Sep 17 00:00:00 2001
From: beu <benoit@virtit.fr>
Date: Sun, 25 Jan 2026 21:13:46 +0100
Subject: [PATCH] fix deprecated warning

---
 core/Plugins/PluginManager.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/Plugins/PluginManager.php b/core/Plugins/PluginManager.php
index b4a91c3d..6b82018e 100644
--- a/core/Plugins/PluginManager.php
+++ b/core/Plugins/PluginManager.php
@@ -255,6 +255,9 @@ class PluginManager {
 	 */
 	public function isPluginActive($pluginClass) {
 		$pluginClass = $this->getPluginClass($pluginClass);
+		if ($pluginClass === null) {
+			return false;
+		}
 		return isset($this->activePlugins[$pluginClass]);
 	}