Update DefinitionType.php