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