Merge "Actually use $ignoreInvalidDB in UserRightProxy::getDB()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2013 17:00:27 +0000 (17:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2013 17:00:27 +0000 (17:00 +0000)
commit384c13add4532362f9278275c8dacfc71c92ea28
treebd63d7e44d1f44fe30aa91ef99038cfb4f1ad54b
parent522eaf5165ea4a9d9167b3bf34334f2a05c6dda0
parent064b2fe1f0735c3f5f6b692fd1a857ea3b0b49fd
Merge "Actually use $ignoreInvalidDB in UserRightProxy::getDB()"