Merge "doc: Modernise parameter names and documentation for 'replica' DBs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Nov 2018 21:39:14 +0000 (21:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Nov 2018 21:39:14 +0000 (21:39 +0000)
commit5466734477584e877187613fa0568dad17ed9c9f
treea608c93b13d3f5de894f45041012a1619b16ad04
parent2d24bc6b9a6aa055897e74e187838b3fc272d4b7
parent903e8b63de95de2da55ba21f01f70eecb527940c
Merge "doc: Modernise parameter names and documentation for 'replica' DBs"
includes/OutputPage.php
includes/Title.php
includes/user/User.php