1	<?php
2
3	namespace ProofreadPage\Page;
4
5	use MediaWiki\Title\Title;
6
7	/**
8	* @license GPL-2.0-or-later
9	*
10	* Allows to retrieve the Index: page for a Page: page
11	*/
12	interface IndexForPageLookup {
13
14	/**
15	* Check if the given page has a cached index
16	* @param Title $pageTitle
17	* @return bool
18	*/
19	public function isPageTitleInCache( Title $pageTitle ): bool;
20
21	/**
22	* Return index of the page
23	* @param Title $pageTitle
24	* @return Title|null
25	*/
26	public function getIndexForPageTitle( Title $pageTitle );
27	}