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
..
groovy.code-snippets	…