Rename online playground to online editor. (#473)
diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
index 412d36b..fa2c702 100644
--- a/docs/.vuepress/config.js
+++ b/docs/.vuepress/config.js
@@ -176,7 +176,7 @@
'/tools/': [
['toolkit', 'Weex Toolkit'],
['extension', 'VSCode Extension'],
- ["dotwe", "Online Playground"]
+ ["dotwe", "Online Editor"]
],
'/community/': [
['weex-third-party-extensions', 'Plugins Market']
@@ -348,7 +348,7 @@
'/zh/tools/': [
['toolkit', 'Weex 工具箱'],
['extension', 'VSCode 插件'],
- ["dotwe", "Online Playground"]
+ ["dotwe", "Online Editor"]
],
'/zh/community/': [
['weex-third-party-extensions', '插件市场']