Delete DocumentType.php