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