merged branch Tobion/patch-5 (PR #6176)
merged branch Tobion/patch-5 (PR #6176)

This PR was merged into the master branch.

Commits
-------

918bad6 fix phpdoc in ExecutionContextInterface

Discussion
----------

fix phpdoc in ExecutionContextInterface

bocharsky-bw/Validator,spolischook/Validator,symfony/Validator