Jürgen Steitz
|
a1c3845c9f
|
WIP: Implement didChangeConfiguration with reindexing
|
2018-08-31 14:41:43 +02:00 |
Jürgen Steitz
|
09fbec247c
|
Refactor pull request
* merge latest upstream
* remove currently not required code blocks
* fix tests
|
2018-08-29 21:34:50 +02:00 |
Jürgen Steitz
|
9cc2736df2
|
Merge remote-tracking branch 'upstream/master' into feature/allow-configurable-file-extension-for-indexing
|
2018-08-29 21:21:37 +02:00 |
janekcz69
|
3931c8848f
|
fix: cast null to array before passing to array_merge() (#666)
Fixes #595
|
2018-08-22 20:48:14 +02:00 |
Tyson Andre
|
8adcf92c2f
|
chore: remove unused 'use' statements (#612)
detected via static analysis and manually checked
|
2018-02-28 10:05:22 -08:00 |
Felix Becker
|
c74076d84f
|
fix(cache): bump cache version (#508)
the update of reflection-docblock means old caches are no longer valid.
fixes #507
|
2017-10-29 13:06:44 -07:00 |
Sara Itani
|
7f427a1215
|
Adopt Microsoft/tolerant-php-parser (#357)
|
2017-06-09 20:25:30 +02:00 |
Jürgen Steitz
|
94336941bd
|
Let JsonMapper intialize the options
To sanitize the file type option, we provide a setter method for the property that will be called by the JsonMapper.
|
2017-02-18 19:30:34 +01:00 |
Jürgen Steitz
|
f7175bc195
|
Filter invalid file types and use default list as fallback
|
2017-02-18 10:38:55 +01:00 |
Jürgen Steitz
|
7dc44776f7
|
Fix wrong phpDoc type
|
2017-02-18 09:37:50 +01:00 |
Jürgen Steitz
|
cdb5b56613
|
Add support to index multiple file extensions
Will take the options sent by the client.
Option: php.intellisense.fileTypes = [".php"]
|
2017-02-18 01:38:35 +01:00 |
Trevor Bortins
|
d5c54ac30f
|
Read vendor directory from project's composer.json, if set. (#281)
|
2017-02-07 23:20:12 +01:00 |
Felix Becker
|
bedd157636
|
Caching (#260)
|
2017-02-04 00:20:38 +01:00 |