diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-11-24 14:50:03 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-11-24 14:50:03 +0100 |
| commit | 76cbfadcdfdcbf675b83f6162a229938aca3bbe1 (patch) | |
| tree | 01aa96c6774dcf2a692fd3062ae1ffccb0a8bfa0 /.markdownlintignore | |
| parent | bc9ef0d188fa43d4a4d06835f74e2d94799b65c6 (diff) | |
Fix types for extensions (#5901)
* Fix types for extensions
To accompany https://github.com/FreshRSS/Extensions/pull/185
* Avoid bug redeclared function
Diffstat (limited to '.markdownlintignore')
| -rw-r--r-- | .markdownlintignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.markdownlintignore b/.markdownlintignore index fa771b056..f89df1470 100644 --- a/.markdownlintignore +++ b/.markdownlintignore @@ -1,4 +1,5 @@ .git/ +extensions/ lib/marienfressinaud/ lib/phpgt/ lib/phpmailer/ |