From 145d0707e627a7aa4a6a01ec681e33d2ac78970f Mon Sep 17 00:00:00 2001 From: Shoghi Cervantes Pueyo Date: Wed, 26 Dec 2012 13:38:54 +0100 Subject: [PATCH] Check if the Plugin uses the Plugin Interface --- classes/API/PluginAPI.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/classes/API/PluginAPI.php b/classes/API/PluginAPI.php index e7a70f4fd..e81d9a927 100644 --- a/classes/API/PluginAPI.php +++ b/classes/API/PluginAPI.php @@ -89,6 +89,9 @@ class PluginAPI extends stdClass{ console("[NOTICE] [PluginAPI] Plugin \"".$info["name"]."\" got raw access to Server methods"); } $object = new $className($this->server->api, ((isset($info["api"]) and $info["api"] !== true) ? $this->server:false)); + if(!($object instanceof Plugin)){ + console("[NOTICE] [PluginAPI] Plugin \"".$info["name"]."\" doesn't use the Plugin Interface"); + } $this->plugins[$className] = array($object, $info); }