1	<?php
2
3	namespace MediaWiki\Hook;
4
5	use MediaWiki\Pager\UsersPager;
6
7	/**
8	* This is a hook handler interface, see docs/Hooks.md.
9	* Use the hook name "SpecialListusersHeader" to register handlers implementing this interface.
10	*
11	* @stable to implement
12	* @ingroup Hooks
13	*/
14	interface SpecialListusersHeaderHook {
15	/**
16	* This hook is called after adding the submit button in UsersPager::getPageHeader().
17	*
18	* @since 1.35
19	*
20	* @param UsersPager $pager The UsersPager instance
21	* @param string &$out The header HTML
22	* @return bool|void True or no return value to continue or false to abort
23	*/
24	public function onSpecialListusersHeader( $pager, &$out );
25	}