Matthias Jentsch 56e47fd084 Add an ini writer for configuration files ...

Add an ini writer that respects the file structure and the comments that may be
already present in the config file. Move Application/Config.php into
Config/Config.php.

refs #4352

2013-08-07 15:58:42 +02:00

..

frontend

Fix history api URI encoding

2013-07-15 13:03:12 +02:00

js

Add --vagrant switch to the javascript style-checker

2013-07-01 12:08:01 +02:00

php

Add an ini writer for configuration files

2013-08-07 15:58:42 +02:00