chore(playground): use files from the official playground

2019-09-01 01:10:53 +08:00 · 2019-09-01 01:10:53 +08:00 · ff0636eb83
parent fcf85bde01
commit ff0636eb83
5 changed files with 2 additions and 2 deletions
--- a/docs/index.html
+++ b/docs/index.html
@ -56,7 +56,7 @@
 <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script>

 <script>LANGUAGE_BASE_URL = "tree-sitter-toml-0.2.0";</script>
-<script src="web-tree-sitter-0.15.9/tree-sitter.js"></script>
+<script src="web-tree-sitter-x/tree-sitter.js"></script>

 <script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script>
 <script src="https://code.jquery.com/jquery-3.3.1.min.js" crossorigin="anonymous"></script>
--- a/docs/web-tree-sitter-0.15.9/tree-sitter.js
+++ b/docs/web-tree-sitter-0.15.9/tree-sitter.js
--- a/docs/web-tree-sitter-0.15.9/tree-sitter.wasm
+++ b/docs/web-tree-sitter-0.15.9/tree-sitter.wasm
--- a/docs/web-tree-sitter-x/tree-sitter.js
+++ b/docs/web-tree-sitter-x/tree-sitter.js
--- a/docs/web-tree-sitter-x/tree-sitter.wasm
+++ b/docs/web-tree-sitter-x/tree-sitter.wasm