[MediaWiki-commits] [Gerrit] Remove outdated comment from Preferences.php - change (mediawiki/core)
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: I29c55b3
[MediaWiki-commits] [Gerrit] Remove outdated comment from Preferences.php - change (mediawiki/core)
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 cleanupPrefere