phpstan.neon.dist

parameters:
	level: 9
	paths:
		- src/
		- tests/
	excludePaths:
	    - tests/_fixtures

	checkUninitializedProperties: true

	ignoreErrors:
	    -
	        message: '#Access to an undefined property .+::\$action#'
	        paths:
	            - tests/JWT/CustomTokenGeneratorTest.php
	            - tests/JWT/IdTokenVerifierTest.php
	            - tests/JWT/SessionCookieVerifierTest.php

	reportUnmatchedIgnoredErrors: false

includes:
	- vendor/phpstan/phpstan/conf/bleedingEdge.neon