resourceloader: Remove 'wgMainPageTitle' mw.config key
authorTimo Tijhof <krinklemail@gmail.com>
Mon, 15 Apr 2019 18:02:55 +0000 (19:02 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Mon, 15 Apr 2019 18:04:49 +0000 (19:04 +0100)
commitf831b28d16db505926cda79d538e884122dfe566
tree11bc83ab543350a756f4e510d19a1d4c236057bd
parent19fe64a134233613126cdbd8e4db7f24b693116d
resourceloader: Remove 'wgMainPageTitle' mw.config key

This was added in 2009 with cf75bdf4ba (r54384) and moved to the
startup module in 2010 with a99f9ec28b9 (r72772).

It is no longer used by any extension in Wikimedia Git, nor
elsewhere indexed by MediaWiki Codesearch. It also no longer has
any uses in mwgrep from public WMF wikis.

Bug: T220926
Depends-On: Ifdedccb513f5dd4636a37badc329ac5f1c4dd943
Change-Id: Id2729653cd450d31c1d903358ccf5e4fac564228
includes/resourceloader/ResourceLoaderStartUpModule.php