Config.php
|
applied common formatting
|
2014-05-02 17:50:30 +02:00 |
RankingManager.php
|
applied common formatting
|
2014-05-02 17:50:30 +02:00 |
ScriptManager.php
|
improved script mode check
|
2014-05-11 14:41:14 +02:00 |
Server.php
|
revert match settings manager (nevermind)
|
2014-05-11 16:02:29 +02:00 |
ServerCommands.php
|
applied common formatting
|
2014-05-02 17:50:30 +02:00 |
UsageReporter.php
|
fixed usagereporter
|
2014-05-04 16:07:04 +02:00 |