From: daniel <daniel.kinzler@wikimedia.de>
Date: Mon, 2 Jul 2018 15:43:41 +0000 (+0200)
Subject: Use array_merge to merge indexed arrays in categoryChangesAsRdf.php.
X-Git-Tag: 1.34.0-rc.0~4900^2
X-Git-Url: http://git.cyclocoop.org/%22.%20generer_url_ecrire%28%22sites_tous%22%2C%22%22%29.%20%22?a=commitdiff_plain;h=ed5ab7c8564b25f5ae62f523dcce32558e922c09;p=lhc%2Fweb%2Fwiklou.git

Use array_merge to merge indexed arrays in categoryChangesAsRdf.php.

Bug: T198356
Change-Id: Ic29568ecfc26da7e6d8c9a875232bfa4e0f9f380
---

diff --git a/maintenance/categoryChangesAsRdf.php b/maintenance/categoryChangesAsRdf.php
index a12cda78b4..bf7a22d52a 100644
--- a/maintenance/categoryChangesAsRdf.php
+++ b/maintenance/categoryChangesAsRdf.php
@@ -220,7 +220,7 @@ SPARQL;
 	) {
 		$tables = [ 'recentchanges', 'page_props', 'category' ];
 		if ( $extra_tables ) {
-			$tables += $extra_tables;
+			$tables = array_merge( $tables, $extra_tables );
 		}
 		$it = new BatchRowIterator( $dbr,
 			$tables,