Commit Graph

3 Commits

Author SHA1 Message Date
João Moreno
3b03189afa Restore extensions in core (#114921)
* bring back grammar extensions

* fix hygiene

* Revert "pull themes from the marketplace"

This reverts commit 0738f76dac.
2021-01-25 17:07:56 +01:00
João Moreno
bc7d3c9ea6 remove grammar extensions 2021-01-15 12:35:17 +01:00
Martin Aeschlimann
cfc2a2212d custom 'html' tags are in red color. Fixes #56467 2018-10-04 11:02:04 +02:00