[Kimchi-devel] [PATCH v3] [Wok] Changes in wok.list.js widget to allow multiple selection