Steffen Schröder 699c5951d9 validate plugin ID and shutdown if it's missing ... - DEV_MODE needed to keep running without proper ID		2014-08-12 16:40:43 +02:00
..
InstallMenu.php	performed code formatting	2014-08-05 02:17:41 +02:00
Plugin.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
PluginManager.php	validate plugin ID and shutdown if it's missing	2014-08-12 16:40:43 +02:00
PluginMenu.php	performed code formatting	2014-08-05 02:17:41 +02:00