r4173 Reduce config.php in a way: