Delete DefinitionList.php