Deprecation warning: require-dev.mikey179/vfsStream is invalid, it should not contain uppercase characters.

This is because of the positioning of the elements which triggers
a clipboard.js bug: zenorocha/clipboard.js#382
Removing the whitespace around the HTML tags works around this issue.

closes: #1041

It was split into MissingParamType and MissingClosureParamType

It was removed by Psalm in a future version, so will cause errors as soon as we upgrade

Was broken in fecd5cf6