Update dependency mediawiki/mediawiki-phan-config to v0.12.0
This MR contains the following updates:
Package | Type | Update | Change |
---|---|---|---|
mediawiki/mediawiki-phan-config (source) | require-dev | minor |
0.11.1 -> 0.12.0
|
Release Notes
wikimedia/mediawiki-phan-config
v0.12.0
- Avoid PhanRedefinedInheritedInterface by excluding symfony/polyfill-php80 (Umherirrender)
- Bump minimum PHP version to 7.4 (C. Scott Ananian)
- Disable PhanPluginDuplicateExpressionAssignmentOperation (Reedy)
- Bump phan to 5.4.1 and taint-check to 4.0.0 (Daimona Eaytoy)
Configuration
-
If you want to rebase/retry this MR, check this box
This MR has been generated by Renovate Bot.