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]);
 	}