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