[MediaWiki-commits] [Gerrit] Revert DefaultSettings.php: Remove $wgPasswordSenderName - change (mediawiki/core)

2014-02-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Revert DefaultSettings.php: Remove $wgPasswordSenderName .. Revert DefaultSettings.php: Remove $wgPasswordSenderName It seems that this variable is used

[MediaWiki-commits] [Gerrit] Revert DefaultSettings.php: Remove $wgPasswordSenderName - change (mediawiki/core)

2014-02-25 Thread TTO (Code Review)
TTO has uploaded a new change for review. https://gerrit.wikimedia.org/r/115574 Change subject: Revert DefaultSettings.php: Remove $wgPasswordSenderName .. Revert DefaultSettings.php: Remove $wgPasswordSenderName It seems