DefaultSettings.php: Remove $wgPasswordSenderName
authorBartosz Dziewoński <matma.rex@gmail.com>
Mon, 24 Feb 2014 17:40:36 +0000 (18:40 +0100)
committerBartosz Dziewoński <matma.rex@gmail.com>
Mon, 24 Feb 2014 17:40:36 +0000 (18:40 +0100)
commitacda2cc90aea519f41c8ae55bc4d05f02072df84
tree003ea08c2c0a524f000eb44370e172af15a4b27b
parentd97a7d33882dc3bb3f43c84b9719a33dae4d8224
DefaultSettings.php: Remove $wgPasswordSenderName

It doesn't do anything.

Follow-up to Ibfd28cd181365c8c0b5f3e8ffe8f5de8c89844a3.

Change-Id: Id20e4ec1cdae94fadb278146cd72d5a9b247dccf
includes/DefaultSettings.php