…3.0 (#102) Updates the requirements on [mediawiki/mediawiki-phan-config](https://github.com/wikimedia/mediawiki-tools-phan) to permit the latest version. - [Changelog](https://github.com/wikimedia/mediawiki-tools-phan/blob/master/HISTORY.md) - [Commits](wikimedia/mediawiki-tools-phan@0.12.1...0.13.0) --- updated-dependencies: - dependency-name: mediawiki/mediawiki-phan-config dependency-type: direct:development ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: paladox <paladox@users.noreply.github.com>
f104e4b