diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-08-30 19:42:27 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-08-30 19:42:27 +0000 |
| commit | 314b27242227909ab37010e699f9ecefce86d108 (patch) | |
| tree | 67a42380343715ebbe8de4748df517af441ae967 | |
| parent | b6b8526a04c072ed8a4b283f2c4ece8f4edda861 (diff) | |
| parent | 1a49a119e2aafff7d1eccb19923d00e52a04e2fd (diff) | |
| download | mediawikicore-314b27242227909ab37010e699f9ecefce86d108.tar.gz mediawikicore-314b27242227909ab37010e699f9ecefce86d108.zip | |
Merge "Only do one query for page ids in PageProps::getGoodIDs"
| -rw-r--r-- | includes/PageProps.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/PageProps.php b/includes/PageProps.php index dac756ed7520..ff8deee37334 100644 --- a/includes/PageProps.php +++ b/includes/PageProps.php @@ -242,6 +242,8 @@ class PageProps { private function getGoodIDs( $titles ) { $result = []; if ( is_array( $titles ) ) { + ( new LinkBatch( $titles ) )->execute(); + foreach ( $titles as $title ) { $pageID = $title->getArticleID(); if ( $pageID > 0 ) { |