diff options
author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-08-14 15:31:31 +0300 |
---|---|---|
committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 09:58:20 +0300 |
commit | 568e1f6d3a823d91ddeef1c20c01d64ee8bd65fa (patch) | |
tree | ed2172e31afd64aaac104b68f733c1010739a6f6 | |
parent | 238f181dbf65f17b8090ec997802074c3834d98d (diff) |
Remove directory/file element.
It will suppress any error of that kind in the file. That was not intended.
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
-rw-r--r-- | psalm.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/psalm.xml b/psalm.xml index ae059566555..53ffa8974bc 100644 --- a/psalm.xml +++ b/psalm.xml @@ -45,16 +45,12 @@ <referencedFunction name="print_unescaped"/> <referencedFunction name="script"/> <referencedFunction name="style"/> - <directory name="apps/**/templates"/> - <directory name="core/templates"/> </errorLevel> </UndefinedFunction> <UndefinedGlobalVariable> <errorLevel type="suppress"> <referencedVariable name="l" /> <referencedVariable name="_" /> - <directory name="apps/**/templates"/> - <directory name="core/templates"/> </errorLevel> </UndefinedGlobalVariable> </issueHandlers> |