wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-14 19:34:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo: page_ids -> pageIds

Browse source 
Change-Id: I7054d36bea58c06cd97c704f44c1fec8a23245bc
This commit is contained in:
Erik Bernhardson 2016-12-09 17:08:33 -08:00
parent 6f0f3e7dc6
commit 8d040dfb1f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/initImageData.php
View file

@ -65,7 +65,7 @@ class InitImageData extends Maintenance {
[ 'LIMIT' => $this->mBatchSize, 'ORDER_BY' => 'page_id', 'GROUP BY' => 'page_id' ],
$joinConds
);
$page_ids = [];
$pageIds = [];
foreach ( $res as $row ) {
$pageIds[] = $row->page_id;
}