Bump jangregor/phpstan-prophecy from 0.3.0 to 0.4.2

[dependabot-preview]

Bumps jangregor/phpstan-prophecy from 0.3.0 to 0.4.2.

Release notes

Sourced from jangregor/phpstan-prophecy's releases.

0.4.2

Thanks to @​Taluu this package is now available to install as "phpstan-extension"

0.4.1

Changes:

• Added support for PHP 7.3
• Allow using attributes
• Added contribution guidelines
• Improved CI

Thanks to:
@​localheinz
@​ondrejmirtes
@​lcobucci

Proudly supported by LILLYDOO, Germany.
Looking for a cool place to work with modern PHP? Join LILLYDOO at https://stackoverflow.com/jobs/companies/lillydoo-gmbh

0.4

Changes:

• Allows for PHP Unit : "<6.0, >=9.0"
• Fixed Documentation error
• Fixed restoration of ObjectProphecyType from cache

Thanks to:
@​ondrejmirtes
@​xerkus
@​hannsen

Commits

• 23301ff Merge pull request #47 from Taluu/phpstan-extension
• 8d54351 set package type to "phpstan-extension"
• dbe94ae Merge pull request #22 from localheinz/feature/normalize
• 19c03df Merge pull request #27 from localheinz/fix/php7.1-locked
• 9cbc2aa Merge pull request #32 from localheinz/feature/php7.3
• 8274ad6 Enhancement: Run composer validate and composer normalize in build script
• 9f61efa Fix: Run 'composer normalize'
• 38f720e Enhancement: Run composer normalize with --dry-run option on Travis
• 998385f Enhancement: Require localheinz/composer-normalize as development dependency
• 6568e6e Enhancement: Add PHP 7.3 to Travis CI build matrix
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot ignore this [patch|minor|major] version will close this PR and stop Dependabot creating any more for this minor/major version (unless you reopen the PR or upgrade to it). To ignore the version in this PR you can just close it
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Automerge options (never/patch/minor, and dev/runtime dependencies)
• Pull request limits (per update run and/or open at any time)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)

Finally, you can contact us by mentioning @dependabot.

[dependabot-preview]

Superseded by #96.