Remove $wgSiteSupportPage
authormainframe98 <k.s.werf@hotmail.com>
Wed, 18 Apr 2018 16:05:52 +0000 (18:05 +0200)
committerKrinkle <krinklemail@gmail.com>
Wed, 18 Apr 2018 23:16:29 +0000 (23:16 +0000)
commit5a72695cf51d3c509bd952c4421f1d9611e58abb
treeb0e09ed79c65f6f1730d5e61a4b91bac0a1a9284
parent7114f9def05167e8eadff0b4d951795d30e055fc
Remove $wgSiteSupportPage

This configuration global is not used anywhere in MediaWiki,
and no extensions or skins use this.
The documentation on mediawiki.org states that the functionality
has been replaced by MediaWiki:Sidebar, and $wgNavigationLinks,
which was removed over a decade ago.

Bug: T192467
Change-Id: Iea1f8a688feb1c7aa8d0005f207a13956bddfd4e
RELEASE-NOTES-1.32
includes/DefaultSettings.php