Fix config.php entry in .gitignore