002b537b47
added some getter methods for properties |
||
---|---|---|
.. | ||
Commands.php | ||
Config.php | ||
Directory.php | ||
RankingManager.php | ||
ScriptManager.php | ||
Server.php | ||
ServerOptionsMenu.php | ||
UsageReporter.php |
002b537b47
added some getter methods for properties |
||
---|---|---|
.. | ||
Commands.php | ||
Config.php | ||
Directory.php | ||
RankingManager.php | ||
ScriptManager.php | ||
Server.php | ||
ServerOptionsMenu.php | ||
UsageReporter.php |