Max Klaversma e87b614a87 Changed PHPDoc block		2014-05-01 17:35:40 +02:00
..
PluginInstallMenu.php	Plugins can now be installed via the settings UI.	2014-05-01 17:35:39 +02:00
UpdateData.php	updatemanager min dedicated build	2014-05-01 17:35:38 +02:00
UpdateManager.php	Changed PHPDoc block	2014-05-01 17:35:40 +02:00