Update mediawiki/mediawiki-phan-config requirement from 0.10.2 to 0.13.0

[dependabot]

Updates the requirements on mediawiki/mediawiki-phan-config to permit the latest version.

Changelog

Sourced from mediawiki/mediawiki-phan-config's changelog.

0.13.0 / 2023-09-08

• Add plugin to forbid empty() on defined variables and properties (Daimona Eaytoy)
• Bump phan to 5.4.2 and taint-check to 5.0.0 (Michael Große)
• "Auto discovery" of namespaces of wgConf and wgRequest (Amir Sarabadani)

0.12.1 / 2023-04-17

• Enable PhanCompatibleSerializeInterfaceDeprecated (Umherirrender)
• Create a separate config file for libraries (Daimona Eaytoy)

0.12.0 / 2022-10-06

• 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)

0.11.1 / 2021-11-08

• Set minimum and target PHP version (Daimona Eaytoy)

0.11.0 / 2021-09-03

• Enable plugin UseReturnValuePlugin (Umherirrender)
• Exclude stubs from .phan configurations in libraries (C. Scott Ananian)
• Suppress PhanDeprecatedCaseInsensitiveDefine (Umherirrender)
• Suppress phan issues about use statements (Umherirrender)
• Add plugins: LoopVariableReusePlugin, RedundantAssignmentPlugin, UnreachableCodePlugin, SimplifyExpressionPlugin, DuplicateArrayKeyPlugin (Daimona Eaytoy)
• Remove hack that allows disabling taint-check (Daimona Eaytoy)
• Bump phan to 5.2.0, taint-check to 3.3.2 (Daimona Eaytoy)

0.10.6 / 2020-12-14

• Add a ConfigBuilder class to configure phan (Daimona Eaytoy)
• Remove option for filtering the list of directories (Daimona Eaytoy)
• Bump taint-check to 3.2.1 and phan to 3.2.6 (Daimona Eaytoy)

0.10.5 / 2020-12-05

Intermediate maintenance release without ConfigBuilder.

• Bump taint-check to 3.1.1 (Daimona Eaytoy)

• Expand globals_type_map (Daimona Eaytoy)

• build: Updating mediawiki/mediawiki-codesniffer to 34.0.0 (James D. Forrester)

• build: Updating ockcyp/covers-validator to 1.3.1 (libraryupgrader)

• build: Updating ockcyp/covers-validator to 1.3.0 (libraryupgrader)

• build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 (libraryupgrader)

0.10.4 / 2020-11-17

Intermediate maintenance release without ConfigBuilder.

• Bump taint-check to 3.0.4 (Daimona Eaytoy)

... (truncated)

Commits

• a091c4d Write changelog for 0.13.0 release
• bf3e277 "Auto discovery" of namespaces of wgConf and wgRequest
• b0bb7a3 Merge "Add plugin to forbid empty() on defined variables and properties"
• 2ec34f0 Bump phan patch version to 5.4.2 from 5.4.1
• afb6d0c Add plugin to forbid empty() on defined variables and properties
• dc04b95 Update config and tests for plugins
• 62dd348 Remove unneeded variable assignment in chained function calls
• 57dfc2d Write changelog for 0.12.1 release
• af95ea6 Create a separate config file for libraries
• 20a4069 build: Upgrade mediawiki/mediawiki-codesniffer from 40.0.1 to 41.0.0
• 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 close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @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)