1<?php
2
3namespace MediaWiki\Page\Hook;
4
5use ManualLogEntry;
6use MediaWiki\Page\ProperPageIdentity;
7use MediaWiki\Permissions\Authority;
8use MediaWiki\Revision\RevisionRecord;
9
10/**
11 * This is a hook handler interface, see docs/Hooks.md.
12 * Use the hook name "PageDeleteComplete" to register handlers implementing this interface.
13 *
14 * @stable to implement
15 * @ingroup Hooks
16 */
17interface PageDeleteCompleteHook {
18	/**
19	 * This hook is called after a page is deleted.
20	 *
21	 * @since 1.37
22	 *
23	 * @param ProperPageIdentity $page Page that was deleted.
24	 * @param Authority $deleter Who deleted the page
25	 * @param string $reason Reason the page was deleted
26	 * @param int $pageID ID of the page that was deleted
27	 * @param RevisionRecord $deletedRev Last revision of the deleted page
28	 * @param ManualLogEntry $logEntry ManualLogEntry used to record the deletion
29	 * @param int $archivedRevisionCount Number of revisions archived during the deletion
30	 * @return true|void
31	 */
32	public function onPageDeleteComplete(
33		ProperPageIdentity $page,
34		Authority $deleter,
35		string $reason,
36		int $pageID,
37		RevisionRecord $deletedRev,
38		ManualLogEntry $logEntry,
39		int $archivedRevisionCount
40	);
41}
42