Steffen Schröder 30b11cc466 minor fixes		2014-05-13 16:54:32 +02:00
..
Plugin.php	applied common formatting	2014-05-02 17:40:47 +02:00
PluginInstallMenu.php	fixed doubled reopening of plugin menu	2014-05-09 19:40:39 +02:00
PluginManager.php	Improved PHPDoc, Type Hints & Parameter Names	2014-05-13 16:40:05 +02:00
PluginMenu.php	minor fixes	2014-05-13 16:54:32 +02:00