DomainEventSource.php

Go to the documentation of this file.

<?php
namespace MediaWiki\DomainEvent;
 
interface DomainEventSource {
 
    public const DEFAULT_LISTENER_OPTIONS = [];
 
    public function registerListener(
        string $eventType,
        $listener,
        array $options = self::DEFAULT_LISTENER_OPTIONS
    ): void;
 
    public function registerSubscriber( $subscriber ): void;
 
}