[MediaWiki-commits] [Gerrit] Unset the preference key before adding it - change (mediawiki...BetaFeatures)

2014-09-20 Thread Seb35 (Code Review)
Seb35 has uploaded a new change for review. https://gerrit.wikimedia.org/r/161677 Change subject: Unset the preference key before adding it .. Unset the preference key before adding it Some extensions have a dual mechanism

[MediaWiki-commits] [Gerrit] Unset the preference key before adding it - change (mediawiki...BetaFeatures)

2014-09-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Unset the preference key before adding it .. Unset the preference key before adding it Some extensions have a dual mechanism to enable them, in the