Steffen Schröder 9029fe1ed0 save current server options every 6 hours as they could have been changed by an external tool		2014-07-25 16:51: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	save current server options every 6 hours as they could have been changed by an external tool	2014-07-25 16:51:47 +02:00
UsageReporter.php	removed old php 5.3 compatibility code	2014-06-17 23:27:28 +02:00