Merge "Postgres updater fixes to make update.php able to run"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 29 Oct 2016 01:31:01 +0000 (01:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 29 Oct 2016 01:31:01 +0000 (01:31 +0000)
commit31a3a94d20e2cd549c148019aa52af978d312623
tree35688b9866eb3892abcb1c5ea7d9763388d25c37
parent2118d5cb99042be136b0517cb8ac7ab8344a97e1
parenteef8fc45f3d03596579abb2519185ace38cf6832
Merge "Postgres updater fixes to make update.php able to run"
includes/libs/rdbms/database/DatabasePostgres.php