Steffen Schröder 002b537b47 various phpdoc improvements and additions ... added some getter methods for properties		2014-07-25 16:28:47 +02:00
..
Commands.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
Config.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
Directory.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
RankingManager.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
ScriptManager.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
Server.php	various phpdoc improvements and additions	2014-07-25 16:28:47 +02:00
ServerOptionsMenu.php	renamed 'Configurators' namespace to 'Configurator'	2014-07-25 15:45:10 +02:00
UsageReporter.php	removed old php 5.3 compatibility code	2014-06-17 23:27:28 +02:00