This keeps us up to date with the core commit e9dc1dd (settings: Make DEFAULT_CONFIG public, 2013-03-24).