[MediaWiki-commits] [Gerrit] mediawiki/core[wmf/1.30.0-wmf.16]: WLFilters: convert 'edit watchlist' button to new UX

2017-08-31 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/375039 ) Change subject: WLFilters: convert 'edit watchlist' button to new UX .. WLFilters: convert 'edit watchlist' button to new UX

[MediaWiki-commits] [Gerrit] mediawiki/core[wmf/1.30.0-wmf.16]: WLFilters: convert 'edit watchlist' button to new UX

2017-08-31 Thread Mattflaschen (Code Review)
Mattflaschen has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/375039 ) Change subject: WLFilters: convert 'edit watchlist' button to new UX .. WLFilters: convert 'edit watchlist' button to new UX Bug: