Merge "Make sure all functions in Database.php are documented"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 20 May 2017 10:54:26 +0000 (10:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 20 May 2017 10:54:26 +0000 (10:54 +0000)
commit9ade3d47ea44b676ce2e56cacb50af112899e9bd
tree0165e459109bdfd23a542025f1fb77b71dddc6ab
parent17e7558c949880538e091f9d627a83c4d91bc600
parentb2a2a50a66e5e45d50f85a7ff2de02ae42a196fe
Merge "Make sure all functions in Database.php are documented"