NativeMarkdown/psalm.xml at master · ProfessionalWiki/NativeMarkdown · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<?xml version="1.0"?>
<psalm
	errorLevel="1"
	resolveFromConfigFile="true"
	findUnusedCode="false"
	findUnusedBaselineEntry="false"
	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"
>
	<projectFiles>
		<directory name="src" />
	</projectFiles>
	<extraFiles>
		<directory name="../../includes" />
		<directory name="../../vendor/wikimedia" />
		<!-- The extension's own vendor: portable across the dev env and CI, where
		     league/commonmark is not merged into MediaWiki's vendor directory. -->
		<directory name="vendor/league" />
	</extraFiles>
	<issueHandlers>
		<MissingPropertyType errorLevel="suppress" />
		<MissingClosureReturnType errorLevel="suppress" />
		<!-- #[\Override] is PHP 8.3+; this extension supports PHP 8.1. -->
		<MissingOverrideAttribute errorLevel="suppress" />
		<!-- Integration necessarily calls MediaWiki methods marked @internal (TOCData, SectionMetadata). -->
		<InternalMethod errorLevel="suppress" />
		<!-- MediaWiki core is scanned for types only; its own loose-typing issues are not ours to fix. -->
		<MissingParamType>
			<errorLevel type="suppress">
				<directory name="../../includes" />
			</errorLevel>
		</MissingParamType>
		<UndefinedConstant>
			<errorLevel type="suppress">
				<directory name="../../includes" />
			</errorLevel>
		</UndefinedConstant>
		<UndefinedFunction>
			<errorLevel type="suppress">
				<directory name="../../includes" />
			</errorLevel>
		</UndefinedFunction>
		<MixedArgument>
			<errorLevel type="suppress">
				<directory name="../../includes" />
			</errorLevel>
		</MixedArgument>
	</issueHandlers>
</psalm>