MediaWiki REL1_35
AugmentPageProps.php
Go to the documentation of this file.
1<?php
2
10 private $propnames;
11
12 public function __construct( $propnames ) {
13 $this->propnames = $propnames;
14 }
15
16 public function augmentAll( ISearchResultSet $resultSet ) {
17 $titles = $resultSet->extractTitles();
18 return PageProps::getInstance()->getProperties( $titles, $this->propnames );
19 }
20}
Augment search result set with values of certain page props.
__construct( $propnames)
array $propnames
List of properties.
augmentAll(ISearchResultSet $resultSet)
Produce data to augment search result set.
static getInstance()
Definition PageProps.php:66
A set of SearchEngine results.
extractTitles()
Extract all the titles in the result set.
Augment search results.