1	<?php
2
3	namespace MediaWiki\Extension\Nuke\Hooks;
4
5	use MediaWiki\Title\Title;
6
7	interface NukeDeletePageHook {
8
9	/**
10	* Hook runner for the `NukeDeletePage` hook
11	*
12	* Allows other extensions to handle the deletion of titles
13	*
14	* @param Title $title title to delete
15	* @param string $reason reason for deletion
16	* @param bool &$deletionResult Whether the deletion was successful or not
17	* @return bool|void True or no return value to let Nuke handle the deletion or
18	*  false if it was already handled in the hook.
19	*/
20	public function onNukeDeletePage( Title $title, string $reason, bool &$deletionResult );
21	}