Skip to content

Commit

Permalink
Fix link to Plugins that currently 404s
Browse files Browse the repository at this point in the history
  • Loading branch information
jwage authored and muglug committed May 2, 2019
1 parent 640c1d1 commit db227da
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/configuration.md
Original file line number Diff line number Diff line change
Expand Up @@ -243,7 +243,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.

#### `<plugins>`
Optional. A list of `<plugin filename="path_to_plugin.php" />` entries. See the [Plugins](plugins.md) section for more information.
Optional. A list of `<plugin filename="path_to_plugin.php" />` entries. See the [Plugins](using_plugins.md) section for more information.

#### `<issueHandlers>`
Optional. If you don't want Psalm to complain about every single issue it finds, the issueHandler tag allows you to configure that. [Dealing with code issues](dealing_with_code_issues.md) tells you more.
Expand Down

0 comments on commit db227da

Please sign in to comment.