Delete core.codedoc.php