push

2019-02-15 14:29:16 +08:00 · 2019-02-15 14:29:16 +08:00 · 3710712ebb
commit 3710712ebb
parent 306b6717ed
1 changed files with 1 additions and 0 deletions
--- a/src/views/tool.blade.php
+++ b/src/views/tool.blade.php
@ -144,6 +144,7 @@
 <script src="https://cdn.bootcss.com/ace/1.4.2/ace.js"></script>
 <script type="text/javascript">
    var editor = ace.edit("editor");
+    var params = <?php echo $params; ?>;
    var error_empty = <?php echo isset($error) ? 0 : 1; ?>;
    editor.setTheme("ace/theme/monokai");
    editor.session.setMode("ace/mode/json");