From ed5ab7c8564b25f5ae62f523dcce32558e922c09 Mon Sep 17 00:00:00 2001 From: daniel Date: Mon, 2 Jul 2018 17:43:41 +0200 Subject: [PATCH] Use array_merge to merge indexed arrays in categoryChangesAsRdf.php. Bug: T198356 Change-Id: Ic29568ecfc26da7e6d8c9a875232bfa4e0f9f380 --- maintenance/categoryChangesAsRdf.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, -- 2.20.1