kremsy 2bbcbf1d72 permission levels for settings

2014-05-01 17:35:37 +02:00

..

Config.php

added license and copyright annotations

2014-05-01 17:35:36 +02:00

RankingManager.php

added license and copyright annotations

2014-05-01 17:35:36 +02:00

Server.php

added license and copyright annotations

2014-05-01 17:35:36 +02:00

ServerCommands.php

added license and copyright annotations

2014-05-01 17:35:36 +02:00

UsageReporter.php

permission levels for settings

2014-05-01 17:35:37 +02:00