RegistryChangePublisher.php Table of Contents Classes RegistryChangePublisherTurns the registry's own change events into the notifications a `subscriptions/listen` stream carries.