From 2fb3b41b8d501e0929f844ea9007371363b9d55c Mon Sep 17 00:00:00 2001 From: PEMapModder Date: Wed, 23 Mar 2016 02:32:11 +0800 Subject: [PATCH] Added the @notscript tag in potential script plugins Then we can have .php files in the plugins folder that contain /** but are not script plugins --- src/pocketmine/plugin/ScriptPluginLoader.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/pocketmine/plugin/ScriptPluginLoader.php b/src/pocketmine/plugin/ScriptPluginLoader.php index 95a2e2f97..196125503 100644 --- a/src/pocketmine/plugin/ScriptPluginLoader.php +++ b/src/pocketmine/plugin/ScriptPluginLoader.php @@ -98,6 +98,10 @@ class ScriptPluginLoader implements PluginLoader{ $key = $matches[1]; $content = trim($matches[2]); + if($key === "notscript"){ + return null; + } + $data[$key] = $content; }