Merge "resourceloader: Remove 'wgMainPageTitle' mw.config key"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Apr 2019 09:40:24 +0000 (09:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Apr 2019 09:40:24 +0000 (09:40 +0000)
commit3144a37e05b66e31893a369de7fd4bb651d73a11
treef6ddd3e3715d0cda50a15c3ebff903781aff394b
parent9c8f85dfda055e6460ad1792831ce3421ccd503f
parentf831b28d16db505926cda79d538e884122dfe566
Merge "resourceloader: Remove 'wgMainPageTitle' mw.config key"