mirror_html/DirectoryLister
1
0
Fork 0
mirror of https://github.com/DirectoryLister/DirectoryLister.git synced 2025-08-29 08:40:42 +02:00
Code Issues Projects Releases Wiki Activity

Updated psalm configuration

Browse Source
This commit is contained in:
Chris Kankiewicz
2020-01-20 11:21:29 -07:00
parent ef2aac57c3
commit 575c236789
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
psalm-baseline.xml
View File

@@ -1,8 +1,2 @@
<?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="3.8.1@8e54e3aa060fc490d86d0e2abbf62750516d40fd">
<file src="app/Providers/TwigProvider.php">
<UndefinedInterfaceMethod occurrences="1">
<code>setDateFormat</code>
</UndefinedInterfaceMethod>
</file>
</files>
<files psalm-version="3.8.3@389af1bfc739bfdff3f9e3dc7bd6499aee51a831"/>

8
psalm.xml
View File

@@ -10,12 +10,18 @@
<projectFiles>
<directory name="app" />
<ignoreFiles>
<directory name="app/cache" />
<directory name="vendor" />
</ignoreFiles>
</projectFiles>
<issueHandlers>
<UndefinedInterfaceMethod>
<errorLevel type="suppress">
<referencedMethod name="Twig\Extension\ExtensionInterface::setdateformat" />
<file name="app/Providers/TwigProvider.php" />
</errorLevel>
</UndefinedInterfaceMethod>
<LessSpecificReturnType errorLevel="info" />
<!-- level 3 issues - slightly lazy code writing, but provably low false-negatives -->