Added core.php.default