Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/49198
Change subject: Disable background linting using WebWorkers ...................................................................... Disable background linting using WebWorkers Ace uses JavaScript Web Workers for linting code. Ace's attempt to load workers in JS and JSON modes runs into the mismatch between its require() implementation and ResourceLoader, resulting in a request for /worker_<lang>.js, which 404s. Change-Id: Ia60ef2122c015635ef0ad963a956b4f77cd6f7e8 --- M modules/jquery.codeEditor.js 1 file changed, 6 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor refs/changes/98/49198/1 -- To view, visit https://gerrit.wikimedia.org/r/49198 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ia60ef2122c015635ef0ad963a956b4f77cd6f7e8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CodeEditor Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
