Commit graph

8 commits

Author SHA1 Message Date
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