Only do one query for page ids in PageProps::getGoodIDs

Change-Id: I0d1cff3173d54de0b8fadb5bf9766789ffe030a4

diff --git a/includes/PageProps.php b/includes/PageProps.php
index dac756e..ff8deee 100644 (file)
--- 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 ) {