From: Daniel Kesselberg <mail@danielkesselberg.de>
Date: Fri, 14 Aug 2020 12:31:31 +0000 (+0200)
Subject: Remove directory/file element.
X-Git-Tag: v20.0.0beta1~49^2~8
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=568e1f6d3a823d91ddeef1c20c01d64ee8bd65fa;p=nextcloud-server.git

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>
---

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>