UNCLASSIFIED - NO CUI

Skip to content

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

Compare Source

  • 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

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever MR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this MR and you won't be reminded about this update again.


  • If you want to rebase/retry this MR, check this box

This MR has been generated by Renovate Bot.

Merge request reports