Rename config.php to config.php.dist

[fortiko]

In order to enable users to keep their local config.php, please consider using config.php.dist for the git tree

[dupondje]

Will do this later. But not at this time. To many changes to the config.php now, which you could merge with your local config.php.

[dupondje]

If your code is just a checkout of this git, then if you 'git pull', you can easly merge you local config. This shouldn't be a big problem.

There will indeed be conflicts, but guess its still less work than manually checking new entries in the config.php