Steffen Schröder a6d9753cee removed unnecessary assignment of (default) values		2014-05-18 21:59:21 +02:00
..
Configurator.php	Improved PHPDoc, Type Hints & Parameter Names	2014-05-13 16:40:05 +02:00
ConfiguratorMenu.php	applied common formatting	2014-05-02 17:40:47 +02:00
ManiaControlSettings.php	use of player cache in settings config menu	2014-05-18 21:50:15 +02:00
ScriptSettings.php	removed unnecessary assignment of (default) values	2014-05-18 21:59:21 +02:00
ServerSettings.php	removed unnecessary assignment of (default) values	2014-05-18 21:59:21 +02:00