Alf Eaton 7bed264d16 Merge pull request #13455 from overleaf/ae-lint-tokens ...

Fix linting in lezer-latex tokens file

GitOrigin-RevId: 2a2b5e8a05455da5f1260710ed34ae605fa8d3c1

2023-07-17 10:35:30 +00:00

..

directives

Merge pull request #10785 from overleaf/ae-mathjax-inline-single-dollar

2022-12-09 09:04:25 +00:00

features

Merge pull request #13455 from overleaf/ae-lint-tokens

2023-07-17 10:35:30 +00:00

filters

Merge pull request #3942 from overleaf/prettier-trailing-comma

2021-04-28 02:10:01 +00:00

ide

Merge pull request #13463 from overleaf/jpa-bootstrap-ws

2023-07-17 10:34:25 +00:00

infrastructure

Clear performance measures when switching editor modes (#11430)

2023-01-25 11:47:14 +00:00

main

Merge pull request #13311 from overleaf/ab-tear-down-subscription-pages-react

2023-07-17 10:22:45 +00:00

modules

Merge pull request #9006 from overleaf/jpa-sentry-error-context

2022-07-29 08:04:35 +00:00

pages

Fix "For students" link in footer isn't working properly (#13296)

2023-07-17 10:27:02 +00:00

services

Merge pull request #5367 from overleaf/jpa-node-handle-callback-err

2021-10-28 08:03:26 +00:00

shared

Merge pull request #13223 from overleaf/ae-typescript-upgrade

2023-07-17 10:29:14 +00:00

utils

Merge pull request #11530 from overleaf/ii-payment-page-migration-checkout-panel

2023-02-07 09:04:53 +00:00

vendor/libs

Merge pull request #10505 from overleaf/td-share-js-memory

2022-11-22 09:04:27 +00:00

base.js

Merge pull request #5071 from overleaf/jpa-web-learn-de-ng

2021-09-16 08:03:43 +00:00

cdn-load-test.js

Merge pull request #5515 from overleaf/jpa-new-cdn-caching

2021-10-22 08:03:56 +00:00

i18n.js

Merge pull request #3942 from overleaf/prettier-trailing-comma

2021-04-28 02:10:01 +00:00

ide-detached.js

Merge pull request #7034 from overleaf/ta-pdf-detach-full

2022-04-05 12:19:23 +00:00

ide.js

Teardown onboarding video tour test (#13351)

2023-07-17 10:32:51 +00:00

libraries.js

Merge pull request #5808 from overleaf/revert-5736-ab-drop-ie11-polyfill

2021-11-17 09:04:23 +00:00

main.js

Merge pull request #13311 from overleaf/ab-tear-down-subscription-pages-react

2023-07-17 10:22:45 +00:00

marketing.js

Add cookie banner (#6627)

2022-04-05 12:17:25 +00:00

tracing.js

Merge pull request #10279 from overleaf/jpa-tracing-optimizations

2022-11-04 09:05:00 +00:00