Merge "rdbms: change "profiler" argument in Database::factory so it works again"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Mar 2019 00:02:35 +0000 (00:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Mar 2019 00:02:35 +0000 (00:02 +0000)
commite895217711438e8ba84ec8232daf90b9c0d6cf1d
treeaacfc7a9c93fbae35a7c00f33a5185427d33e65d
parentfa0fe8d2940b71950f82f2303acd3a3717b51389
parentb438db9e2c45fcfa923d8f0ae19cfab5cf583457
Merge "rdbms: change "profiler" argument in Database::factory so it works again"
includes/libs/rdbms/database/Database.php