Remove wgPasswordSenderName from DefaultSettings.php