Added the missing copyright header to core.php.