Use array_merge to merge indexed arrays in categoryChangesAsRdf.php.
authordaniel <daniel.kinzler@wikimedia.de>
Mon, 2 Jul 2018 15:43:41 +0000 (17:43 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Mon, 2 Jul 2018 15:43:41 +0000 (17:43 +0200)
commited5ab7c8564b25f5ae62f523dcce32558e922c09
treecab4b963a77e181e9329f52b0031772b7271aa1a
parente1990c6f0e1edc0379e2626c6e6ff5f0a2511233
Use array_merge to merge indexed arrays in categoryChangesAsRdf.php.

Bug: T198356
Change-Id: Ic29568ecfc26da7e6d8c9a875232bfa4e0f9f380
maintenance/categoryChangesAsRdf.php