diff --git a/docs/configuration.md b/docs/configuration.md index e81dbabe5..07cdd123b 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -215,7 +215,7 @@ Contains a list of all the directories that Psalm should inspect. You can also s ``` -#### `` +#### `` Optional. A list of extensions to search over. See [Checking non-PHP files](checking_non_php_files.md) to understand how to extend this. #### `` diff --git a/docs/supported_annotations.md b/docs/supported_annotations.md index d21d124f6..b0b253f7d 100644 --- a/docs/supported_annotations.md +++ b/docs/supported_annotations.md @@ -458,4 +458,3 @@ Psalm has support for a number of builtin classes and interfaces that you can ex Psalm supports PHPDoc’s [type syntax](https://docs.phpdoc.org/guides/types.html), and also the [proposed PHPDoc PSR type syntax](https://github.com/php-fig/fig-standards/blob/master/proposed/phpdoc.md#appendix-a-types). A detailed write-up is found in [Typing in Psalm](typing_in_psalm.md) - diff --git a/docs/what_makes_psalm_complicated.md b/docs/what_makes_psalm_complicated.md index 1da130037..550fb3fd1 100644 --- a/docs/what_makes_psalm_complicated.md +++ b/docs/what_makes_psalm_complicated.md @@ -14,14 +14,14 @@ This is a somewhat informal list that might aid others. what effect do different PHP elements have on user-asserted logic in if conditionals, ternarys etc. - **Generics & Templated code** Figuring out how templated code should work (`@template` tags), how much it should work like it does in other languages (Hack, TypeScript etc.) - + ## Supporting the community - **Supporting formal PHPDoc annotations** - **Supporting informal PHPDoc annotations** e.g. `ArrayIterator|string[]` to denote an `ArrayIterator` over strings - **non-Composer projects** e.g. WordPress - + ## Making Psalm fast - **Parser-based reflection** requires scanning everything necessary for analysis