mirror of
https://github.com/pmmp/PocketMine-MP.git
synced 2025-09-05 17:36:12 +00:00
Merge commit '004f7ef82e9613d60c3614dbf634836b7e2f3774'
This commit is contained in:
@ -23,6 +23,8 @@ parameters:
|
||||
dynamicConstantNames:
|
||||
- pocketmine\IS_DEVELOPMENT_BUILD
|
||||
- pocketmine\DEBUG
|
||||
stubFiles:
|
||||
- tests/phpstan/stubs/pthreads.stub
|
||||
reportUnmatchedIgnoredErrors: false #no other way to silence platform-specific non-warnings
|
||||
checkMissingIterableValueType: false #TODO: pthreads Threaded base for too many things, fix this later
|
||||
ignoreErrors:
|
||||
|
||||
Reference in New Issue
Block a user