Delete DefinitionInterface.php