[MediaWiki-commits] [Gerrit] Remove outdated comment from Preferences.php - change (mediawiki/core)

2014-01-19 Thread Umherirrender (Code Review)
Umherirrender has uploaded a new change for review. https://gerrit.wikimedia.org/r/108468 Change subject: Remove outdated comment from Preferences.php .. Remove outdated comment from Preferences.php There is a

[MediaWiki-commits] [Gerrit] Remove outdated comment from Preferences.php - change (mediawiki/core)

2014-01-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove outdated comment from Preferences.php .. Remove outdated comment from Preferences.php There is a cleanupPreferences.php script Change-Id: