Merge "Fix --pagelist for dumpBackup.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Jan 2016 03:30:34 +0000 (03:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Jan 2016 03:30:34 +0000 (03:30 +0000)
commit507732a5a0832f0c06a1f3d45ea79a261fcfeb97
tree9c3526192b53b4b9777d3c360ee2194eddb50dc6
parent522e673e7e6a29232843250279f3a6c85d1af5fe
parentf7e5a0750c69f59cac56580790425818e083c2ac
Merge "Fix --pagelist for dumpBackup.php"