Merge "Output info in update.php for skipped updates due to shared tables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Apr 2014 21:52:18 +0000 (21:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Apr 2014 21:52:18 +0000 (21:52 +0000)
commit0afd1b5168f86cc920c8d9a4cad6064249b1f30c
tree790f60f5c0367783dd33b796a6194157a845d9be
parent80dacaa7598cd3466e79afa559735dc9fab16d4d
parent0bf4b4ec4f93937a43816c92ae7ae4cdda8e67d9
Merge "Output info in update.php for skipped updates due to shared tables"