Remove wgPasswordSenderName from DefaultSettings.php
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 20 Aug 2018 20:18:31 +0000 (13:18 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 20 Aug 2018 20:20:45 +0000 (13:20 -0700)
commit66abb4ecaaa9656974c6f4c5dfde6e1014832fcb
tree20c401394d9d0e4238fcaa7d2a379a3c954580d3
parente5c6fa1ccd4e33470f25038475a2ad99f0599611
Remove wgPasswordSenderName from DefaultSettings.php

This was removed from MediaWiki in 1.23 already, but was still
lingering in DefaultSettings.

Follow-up to: I578341430f53bef6d02b8ad78c1c1f2e6b96c064.
Previous, reverted attempt: acda2cc90aea519f41c8ae55bc4d05f02072df84.

Bug: T97709
Change-Id: I94a0c7c20f78c31149685c4443564be240ddad50
RELEASE-NOTES-1.32
includes/DefaultSettings.php