ok
Direktori : /home2/selectio/www/fms-worksuite/vendor/phpunit/phpunit/src/Event/Dispatcher/ |
Current File : /home2/selectio/www/fms-worksuite/vendor/phpunit/phpunit/src/Event/Dispatcher/Dispatcher.php |
<?php declare(strict_types=1); /* * This file is part of PHPUnit. * * (c) Sebastian Bergmann <sebastian@phpunit.de> * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace PHPUnit\Event; /** * @internal This interface is not covered by the backward compatibility promise for PHPUnit */ interface Dispatcher { /** * @throws UnknownEventTypeException */ public function dispatch(Event $event): void; }