Actually, add a use statement for this interface and simply do `@param UserInterface $user` here.