diff options
Diffstat (limited to 'vendor/maennchen/zipstream-php/psalm.xml')
| -rw-r--r-- | vendor/maennchen/zipstream-php/psalm.xml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/vendor/maennchen/zipstream-php/psalm.xml b/vendor/maennchen/zipstream-php/psalm.xml new file mode 100644 index 000000000..4da861836 --- /dev/null +++ b/vendor/maennchen/zipstream-php/psalm.xml @@ -0,0 +1,25 @@ +<?xml version="1.0"?> +<psalm + errorLevel="1" + resolveFromConfigFile="true" + xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" + xmlns="https://getpsalm.org/schema/config" + xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" + findUnusedBaselineEntry="true" + findUnusedCode="true" + phpVersion="8.1.0" +> + <!-- TODO: Update phpVersion when raising the minimum supported version --> + <projectFiles> + <directory name="src" /> + <ignoreFiles> + <directory name="vendor" /> + </ignoreFiles> + </projectFiles> + <issueHandlers> + <!-- Turn off dead code warnings for externally called functions --> + <PossiblyUnusedProperty errorLevel="suppress" /> + <PossiblyUnusedMethod errorLevel="suppress" /> + <PossiblyUnusedReturnValue errorLevel="suppress" /> + </issueHandlers> +</psalm> |