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