Max Klaversma 5b884d7a9c Plugins can now be installed via the settings UI.		2014-05-01 17:35:39 +02:00
..
Plugin.php	added license and copyright annotations	2014-05-01 17:35:36 +02:00
PluginManager.php	Plugins can now be installed via the settings UI.	2014-05-01 17:35:39 +02:00
PluginMenu.php	Moved the updatebutton, menu now checking all plugins at once, instead of one call per plugin.	2014-05-01 17:35:39 +02:00