Revert "DefaultSettings.php: Remove $wgPasswordSenderName"