[Kimchi-devel] [PATCH] Issue #704: page refreshing in Wok when no plugins installed