build: Updating mediawiki/mediawiki-phan-config to 0.17.0

Change-Id: Icfcbc9b9ff834728958f924039c48d6d60ef0243

Author: umherirrender

composer.json

@@ -28,7 +28,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "47.0.0",
-		"mediawiki/mediawiki-phan-config": "0.16.0",
+		"mediawiki/mediawiki-phan-config": "0.17.0",
 		"mediawiki/minus-x": "1.1.3",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
 		"php-parallel-lint/php-parallel-lint": "1.4.0",

src/Parser/DataSourceTokenizer.php

@@ -264,6 +264,7 @@ public function consumeToken() {
 						$this->parseError( 'unclosed-comment', $pos );
 					}
 					$this->consumeCharacter();
+					// @phan-suppress-next-line PhanPossiblyInfiniteRecursionSameParams
 					return $this->consumeToken();
 				}
 

src/Parser/Parser.php

@@ -508,6 +508,7 @@ protected function consumeDeclaration() {
 			!strcasecmp( $v2->value(), 'important' )
 		) {
 			// This removes the "!" and "important" (5), and also any whitespace between/after (6)
+			// @phan-suppress-next-line PhanPossiblyInfiniteLoop
 			while ( isset( $value[$l1] ) ) {
 				$value->remove( $l1 );
 			}