1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* EventHandlerNonNull
10	*
11	* @see https://dom.spec.whatwg.org/#callbackdef-eventhandlernonnull
12	*
13	* @phan-forbid-undeclared-magic-properties
14	*/
15	interface EventHandlerNonNull {
16	/**
17	* @param Event $event
18	* @return mixed|null
19	*/
20	public function invoke( /* Event */ $event );
21	}