Skip to content

Commit

Permalink
Merge pull request #1817 from fbourigault/psalm-reserved-words
Browse files Browse the repository at this point in the history
Workaround null & mixed being ReservedWords
  • Loading branch information
dereuromark authored Jan 4, 2022
2 parents 5930bad + ef3a63c commit 934b8de
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions psalm.xml
Original file line number Diff line number Diff line change
Expand Up @@ -31,5 +31,15 @@
<referencedMethod name="Symfony\Component\Config\Definition\Builder\TreeBuilder::root"/>
</errorLevel>
</UndefinedMethod>
<!-- Workaround for https://github.com/vimeo/psalm/issues/7026 -->
<ReservedWord errorLevel="suppress">
<errorLevel type="suppress">
<file name="src/Propel/Common/Config/ConfigurationManager.php" />
<file name="src/Propel/Common/Config/Loader/YamlFileLoader.php" />
<file name="src/Propel/Common/Config/PropelConfiguration.php" />
<file name="src/Propel/Generator/Behavior/Validate/ValidateBehavior.php" />
<file name="src/Propel/Runtime/Parser/YamlParser.php" />
</errorLevel>
</ReservedWord>
</issueHandlers>
</psalm>

0 comments on commit 934b8de

Please sign in to comment.