config.extras.inc.php fix