From a83b01ef4f3da6317ccc8df8cef4c398880a1a05 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sun, 6 Sep 2015 14:35:23 +0200
Subject: [PATCH] Access plugins by class name, not file name

Class name and file name can differ regarding case sensitivity
---
 lib/Pico.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/lib/Pico.php b/lib/Pico.php
index b5bc088..aff3dee 100644
--- a/lib/Pico.php
+++ b/lib/Pico.php
@@ -243,7 +243,11 @@ class Pico
 
             $className = preg_replace('/^[0-9]+-/', '', basename($pluginFile, '.php'));
             if (class_exists($className)) {
-                $this->plugins[$className] = new $className($this);
+                // class name and file name can differ regarding case sensitivity
+                $plugin = new $className($this);
+                $className = get_class($plugin);
+
+                $this->plugins[$className] = $plugin;
             } else {
                 // TODO: breaks backward compatibility
                 //throw new RuntimeException("Unable to load plugin '".$className."'");