Merge "Add config for serving main Page from the domain root"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Sep 2019 15:28:03 +0000 (15:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Sep 2019 15:28:03 +0000 (15:28 +0000)
commit9e8439e79d67788916d488f645108f79016d9aca
treede232ff92e1bb3c16457ebe99b4c55d706d29381
parentaf80076034fb734d652eb043c523c1d8df974e51
parenta5deeac58c9fbfd989f460827103aefed6bb2c14
Merge "Add config for serving main Page from the domain root"
includes/DefaultSettings.php
includes/Title.php