From df976a8229b7d7bd38a8f9b3e8101f91808f7132 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20Schro=CC=88der?= <schteffens@gmail.com>
Date: Thu, 1 May 2014 20:20:47 +0200
Subject: [PATCH] skip non-php files when loading plugin files

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

diff --git a/application/core/Plugins/PluginManager.php b/application/core/Plugins/PluginManager.php
index 0e52a016..7bf4c619 100644
--- a/application/core/Plugins/PluginManager.php
+++ b/application/core/Plugins/PluginManager.php
@@ -138,6 +138,7 @@ class PluginManager {
 		}
 		$plugin = new $pluginClass();
 		/**
+		 *
 		 * @var Plugin $plugin
 		 */
 		$this->activePlugins[$pluginClass] = $plugin;
@@ -170,6 +171,7 @@ class PluginManager {
 		}
 		$plugin = $this->activePlugins[$pluginClass];
 		/**
+		 *
 		 * @var Plugin $plugin
 		 */
 		$plugin->unload();
@@ -235,6 +237,9 @@ class PluginManager {
 			
 			$filePath = $directory . $pluginFile;
 			if (is_file($filePath)) {
+				if (!stripos($pluginFile, '.php')) {
+					continue;
+				}
 				$success = include_once $filePath;
 				if (!$success) {
 					trigger_error("Error loading File '{$filePath}'!");