mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-18 02:40:50 +00:00
5595193eb3
Change-Id: Ib1259484436591dd30b29651ccca474c0ce16d13
51 lines
1.2 KiB
PHP
51 lines
1.2 KiB
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Notifications\Cache;
|
|
|
|
use MediaWiki\Page\PageRecord;
|
|
use MediaWiki\Page\PageStore;
|
|
use MediaWiki\Title\TitleFactory;
|
|
|
|
/**
|
|
* Cache class that maps article id to Title object.
|
|
* @fixme There should be no need for this class. Core's PageStore should be responsible for caching, if it's
|
|
* deemed necessary. See also T344124.
|
|
*/
|
|
class TitleLocalCache extends LocalCache {
|
|
private PageStore $pageStore;
|
|
private TitleFactory $titleFactory;
|
|
|
|
/**
|
|
* @param PageStore $pageStore
|
|
* @param TitleFactory $titleFactory
|
|
*/
|
|
public function __construct(
|
|
PageStore $pageStore,
|
|
TitleFactory $titleFactory
|
|
) {
|
|
parent::__construct();
|
|
$this->pageStore = $pageStore;
|
|
$this->titleFactory = $titleFactory;
|
|
}
|
|
|
|
/**
|
|
* @inheritDoc
|
|
*/
|
|
protected function resolve( array $lookups ) {
|
|
if ( $lookups ) {
|
|
$titles = $this->pageStore
|
|
->newSelectQueryBuilder()
|
|
->wherePageIds( $lookups )
|
|
->caller( __METHOD__ )
|
|
->fetchPageRecords();
|
|
|
|
/** @var PageRecord $title */
|
|
foreach ( $titles as $title ) {
|
|
$title = $this->titleFactory->castFromPageIdentity( $title );
|
|
yield $title->getArticleID() => $title;
|
|
}
|
|
}
|
|
}
|
|
|
|
}
|