4 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	0738f76dac	pull themes from the marketplace	2021-01-12 20:46:44 +01:00
Martin Aeschlimann	183b2a2892	[themes] theme names are all not localized. Fixes #109840	2020-11-03 09:46:34 +01:00
Sandeep Somavarapu	d321ced195	#43978 Use nls	2018-02-19 18:38:12 +01:00