diff options
| author | 2023-11-24 14:50:03 +0100 | |
|---|---|---|
| committer | 2023-11-24 14:50:03 +0100 | |
| commit | 76cbfadcdfdcbf675b83f6162a229938aca3bbe1 (patch) | |
| tree | 01aa96c6774dcf2a692fd3062ae1ffccb0a8bfa0 /phpcs.xml | |
| 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 'phpcs.xml')
| -rw-r--r-- | phpcs.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ <exclude-pattern>./lib/http-conditional.php</exclude-pattern> <exclude-pattern>./node_modules/</exclude-pattern> <exclude-pattern>./data/config.php</exclude-pattern> + <exclude-pattern>./data/update.php</exclude-pattern> <exclude-pattern>./data/users/*/config.php</exclude-pattern> <exclude-pattern>./extensions/</exclude-pattern> <exclude-pattern>./p/scripts/vendor/</exclude-pattern> |
