Update DefinitionDispatcher.php