Merge "rdbms: fix a few IDEA warnings in Database"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Aug 2018 05:06:36 +0000 (05:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Aug 2018 05:06:36 +0000 (05:06 +0000)
commitbadc95193a6ec9fd05a7fb9ed04c82ff69ca2c39
tree4bdfcf0d20403d4a0d095a9483532b41202dd05d
parentda748c3a91b06be4d938570ef86ec05635e7aed3
parent8053bc9e0dc56d610305065cd1703dc2dfff3775
Merge "rdbms: fix a few IDEA warnings in Database"
includes/libs/rdbms/database/Database.php