Steffen Schröder ffb2bcba89 renamed server settings to server options to match dedi naming ...

- renamed server options menu
- moved into server namespace
- changed names of table and its attributes

2014-07-25 15:37:54 +02:00

..

Configurator.php

renamed server settings to server options to match dedi naming

2014-07-25 15:37:54 +02:00

ConfiguratorMenu.php

- static getTitle() function of configurator menu interface

2014-07-24 23:15:25 +02:00

ManiaControlSettings.php

- static getTitle() function of configurator menu interface

2014-07-24 23:15:25 +02:00

ScriptSettings.php

- static getTitle() function of configurator menu interface

2014-07-24 23:15:25 +02:00