17 Commits

Author	SHA1	Message	Date
João Moreno	9a5d14e307	run prettier over extensions json files	2021-01-29 15:19:18 +01:00
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
Rob Lourens	707d5ecd0d	Fix basic PHP extension name	2018-04-04 11:13:59 -07:00
Rob Lourens	ab867d907f	Fix #46148 - split PHP extension	2018-03-22 23:19:10 -07:00
Greg Van Liew	b3a1b98d54	Edit pass on built-in extension descriptions (#44875)	2018-03-01 16:43:06 -08:00
kieferrm	d53fa1cf77	icon and cosmetics for php extension	2018-02-28 19:26:04 -08:00
Ramya Achutha Rao	469007b4ed	Update md,php display names/descriptions #44626	2018-02-27 19:04:29 -08:00
Ramya Achutha Rao	15d0e9b30b	Remove and other language features from description of basic builtin extensions #44626	2018-02-27 18:15:50 -08:00
Joao Moreno	5667cc0e69	use vsce to determine what to package when bundling extensions ... fixes #29054	2017-06-21 16:17:21 +02:00
Dirk Baeumer	0b6afcabf0	Wordning tweaking	2017-04-03 11:11:01 +02:00
Dirk Baeumer	0c8a6d5ad4	Addresses concerns in #19624	2017-03-28 09:31:16 +02:00
Martin Aeschlimann	1d79099ed1	fix wording for #9003	2017-01-24 20:54:13 +01:00
Martin Aeschlimann	1ff2c4809d	[php] setting to disable suggestions and hover (for #9003)	2017-01-23 15:25:13 +01:00
Sara Itani	cf77a2cf8c	#9003 Provide temporary option to disable the built-in PHP completion provider. ... This option enables extension authors providing PHP support to prevent needless duplication in the completions list. We can remove it when we extract this functionality to a separate extension.	2017-01-23 01:05:02 -08:00
Martin Aeschlimann	e228769042	Polish configuration section labels & add link	2016-06-27 18:37:04 +02:00
Martin Aeschlimann	9b737ec24e	Fixes #4156: PHP settings documentation is not localized	2016-03-15 17:07:14 +01:00