Rename CategorySelector to CategoryMultiselectWidget
authorPrateek Saxena <prtksxna@gmail.com>
Fri, 24 Mar 2017 09:55:37 +0000 (15:25 +0530)
committerPrateek Saxena <prtksxna@gmail.com>
Tue, 28 Mar 2017 10:23:18 +0000 (15:53 +0530)
commit35f70a240a81b3a20007e84f391969545b54393a
treeaa37ad0d0419fbc57ed8a87a52369abe88644de0
parenta1d4831565a8fa5418f06c442a3b099008f3313d
Rename CategorySelector to CategoryMultiselectWidget

For consistency.

Bug: T161285
Change-Id: I7c9e0089ba6b77f4bc73e14b989630487f6f3174
resources/Resources.php
resources/src/mediawiki.widgets/mw.widgets.CategoryMultiselectWidget.js [new file with mode: 0644]
resources/src/mediawiki.widgets/mw.widgets.CategorySelector.js [deleted file]