Merge "Prevent deleteBatch.php deleting files from redirects"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 May 2014 20:19:19 +0000 (20:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 May 2014 20:19:19 +0000 (20:19 +0000)
commit27112b76fa497425a457dbc174a1f26f7ed1fafc
tree90ed02c00956f94893833cf66d0c7cd4ecbf6f5e
parent46ffc0ef6f94228de2b0f7f315390db92f843659
parent4fb56fec5afab07b1700e840c28c04852d2ec5c1
Merge "Prevent deleteBatch.php deleting files from redirects"