Fix --pagelist for dumpBackup.php
authorAndrew H <crazy4sb@gmail.com>
Tue, 5 Jan 2016 23:42:23 +0000 (23:42 +0000)
committerAndrew H <crazy4sb@gmail.com>
Wed, 6 Jan 2016 03:23:06 +0000 (03:23 +0000)
commitf7e5a0750c69f59cac56580790425818e083c2ac
tree397e95823334f2f30636353d0133c11f7505cd37
parent87af058741eac7c63eba52286031645ad5ee8925
Fix --pagelist for dumpBackup.php

Followup patch for I2473ee119c185d1b2b00ac4b1e70ee8a6cafe4a3,
which broke the --pagelist option for dumpBackup.

Somehow this slipped by in review.

Change-Id: Ifa1fd0f63f7b8db4d51a760e37ac0876430f2e88
maintenance/dumpBackup.php