Hi all
as announced before, I'm just commiting changes to config files. Here are few simple rules:
1. There is no config.inc.developer.php anymore, use config.inc.php instead as any other user.
2. There is no config_import.lib.php anymore, configuration is updated according to config.default.php file (this drops upgrade support for cfgSomething used in 2.2 or something like that).
3. When you add new configuration option, add default value to config.default.php (and of course document it).