than

<?php  if ( ! defined('BASEPATH')) exit('No direct script access allowed');

// Simple, single configuration file to override almost all paths and server settings. As used by @airways
// and @litzinger.

// Only check in the default as dist.config.php, set your version control system to ignore config.php so that
// local users and each instance (staging, production) can have their own settings.

// These config files are mainly meant to be used on a shared development server used by all developers,
// although it works almost as well for local development as well.