[Kimchi-devel] [PATCH 05/38] Use wok.min.js instead of kimchi.min.js in wok