composer.json: Update mediawki/mediawiki-phan-config

wikimedia · Apr 15, 2023 · c7765fb · c7765fb
1 parent 8bde29b
commit c7765fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/composer.json b/composer.json
@@ -18,7 +18,7 @@
  "require-dev": {
  "ext-json": "*",
  "composer/composer": "^1.1||^2.0",
- "mediawiki/mediawiki-phan-config": "0.11.1",
+ "mediawiki/mediawiki-phan-config": "0.12.0",
  "php-parallel-lint/php-parallel-lint": "~1.3.1",
  "phpspec/prophecy-phpunit": "~2.0.1",
  "phpunit/phpunit": "^9.5",