MediaWiki
1.34.0
AugmentPageProps.php
Go to the documentation of this file.
1
<?php
2
6
class
AugmentPageProps
implements
ResultSetAugmentor
{
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
}
AugmentPageProps\augmentAll
augmentAll(ISearchResultSet $resultSet)
Produce data to augment search result set.
Definition:
AugmentPageProps.php:16
PageProps\getInstance
static getInstance()
Definition:
PageProps.php:66
ISearchResultSet\extractTitles
extractTitles()
Extract all the titles in the result set.
ISearchResultSet
A set of SearchEngine results.
Definition:
ISearchResultSet.php:11
AugmentPageProps\$propnames
array $propnames
List of properties.
Definition:
AugmentPageProps.php:10
ResultSetAugmentor
Augment search results.
Definition:
ResultSetAugmentor.php:6
AugmentPageProps\__construct
__construct( $propnames)
Definition:
AugmentPageProps.php:12
AugmentPageProps
Augment search result set with values of certain page props.
Definition:
AugmentPageProps.php:6
includes
search
AugmentPageProps.php
Generated on Thu Dec 19 2019 14:54:49 for MediaWiki by
1.8.16