Update mediawiki/mediawiki-phan-config requirement from 0.14.0 to 0.1…

…5.1 (#305) * Update mediawiki/mediawiki-phan-config requirement from 0.14.0 to 0.15.1 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.14.0...0.15.1) --- updated-dependencies: - dependency-name: mediawiki/mediawiki-phan-config dependency-type: direct:development ... Signed-off-by: dependabot[bot] <[email protected]> * Ignore for now --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: CosmicAlpha <[email protected]>
Universal-Omega · Feb 7, 2025 · 45e06c0 · 45e06c0
1 parent 2b6821a
commit 45e06c0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.phan/config.php b/.phan/config.php
@@ -17,6 +17,7 @@
 $cfg['suppress_issue_types'] = [
 	// Temporary
 	'MediaWikiNoEmptyIfDefined',
+	'MediaWikiNoIssetIfDefined',
 	'SecurityCheck-LikelyFalsePositive',
 	'PhanAccessMethodInternal',
 ];

diff --git a/composer.json b/composer.json
@@ -9,7 +9,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "46.0.0",
-		"mediawiki/mediawiki-phan-config": "0.14.0",
+		"mediawiki/mediawiki-phan-config": "0.15.1",
 		"mediawiki/minus-x": "1.1.3",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
 		"php-parallel-lint/php-parallel-lint": "1.4.0"