Merge pull request #15062 from overleaf/jpa-worker

[web] bring back file extension for worker entrypoints

GitOrigin-RevId: 93c2a59e5bc867460e82f3e7023d9cbfce1f16e1
This commit is contained in:
Jakob Ackermann
2023-10-16 08:03:59 +00:00
committed by Copybot
parent 61c4036aa0
commit d4a271b898
3 changed files with 7 additions and 6 deletions
@@ -1,5 +1,5 @@
import { assert } from 'chai'
import LintWorker from '../../../../../../frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker'
import LintWorker from '../../../../../../frontend/js/features/source-editor/languages/latex/linter/latex-linter.worker.js'
import { errorsToDiagnostics } from '../../../../../../frontend/js/features/source-editor/languages/latex/linter/errors-to-diagnostics'
import { Diagnostic } from '@codemirror/lint'
import { mergeCompatibleOverlappingDiagnostics } from '../../../../../../frontend/js/features/source-editor/languages/latex/linter/merge-overlapping-diagnostics'