Merge "mw.widgets.CategorySelector: Prevent duplicates"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Dec 2015 13:12:52 +0000 (13:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Dec 2015 13:12:52 +0000 (13:12 +0000)
commita45caa8469bc6091d2161fde212c454cc0f0b970
tree93ca195c16cede6f25b5c3873c690a3165affbaa
parent35704248ae79667342e68084d8c18915b85472e9
parente056773b5acc0f13a47a03d4d90668752c4d7238
Merge "mw.widgets.CategorySelector: Prevent duplicates"
resources/src/mediawiki.widgets/mw.widgets.CategorySelector.js