GitHub/FreshRSS
1
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-05-20 09:30:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix types for extensions (#5901)

Browse Source 
* Fix types for extensions
To accompany https://github.com/FreshRSS/Extensions/pull/185

* Avoid bug redeclared function
This commit is contained in:
Alexandre Alapetite
2023-11-24 14:50:03 +01:00
committed by GitHub
parent bc9ef0d188
commit 76cbfadcdf
16 changed files with 58 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
phpcs.xml
+1
View File
@@ -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>