From 33677ba4991782e700d2d20db45749d4f9b9649d Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Tue, 18 Jun 2019 20:28:37 +0200
Subject: [PATCH] Fix return type of GenerateSitemap::getPageRes

Change-Id: I68729366f294b93aab5d2c76581c0847c11076d7
---
 maintenance/generateSitemap.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/maintenance/generateSitemap.php b/maintenance/generateSitemap.php
index 7d43f218c8..05dd0d08ab 100644
--- a/maintenance/generateSitemap.php
+++ b/maintenance/generateSitemap.php
@@ -27,6 +27,7 @@
  */
 
 use MediaWiki\MediaWikiServices;
+use Wikimedia\Rdbms\IResultWrapper;
 
 require_once __DIR__ . '/Maintenance.php';
 
@@ -299,7 +300,7 @@ class GenerateSitemap extends Maintenance {
 	 * Return a database resolution of all the pages in a given namespace
 	 *
 	 * @param int $namespace Limit the query to this namespace
-	 * @return Resource
+	 * @return IResultWrapper
 	 */
 	function getPageRes( $namespace ) {
 		return $this->dbr->select( 'page',
-- 
2.20.1