Open osster opened 5 years ago
File: node_modules/brace/mode/php.js that line throws error: "Could not load worker TypeError: "name is undefined""
this.createWorker = function(session) { var worker = new WorkerClient(["ace"], "ace/mode/php_worker", "PhpWorker");
when I replaced line like this:
this.createWorker = function(session) { var worker = new WorkerClient(["ace"], "ace/mode/php_worker", "PhpWorker", "ace/mode/php");
its worked for me, but maybe I missing something? I'm using firefox developer edition browser, win10
I encountered a similar bug. Solved it by making the following change: var worker = new WorkerClient(["ace"], {id:"ace/mode/php_worker"}, "PhpWorker");
var worker = new WorkerClient(["ace"], {id:"ace/mode/php_worker"}, "PhpWorker");
File: node_modules/brace/mode/php.js that line throws error: "Could not load worker TypeError: "name is undefined""
when I replaced line like this:
its worked for me, but maybe I missing something? I'm using firefox developer edition browser, win10