Actually use $ignoreDeprecated

sebastianbergmann · sebastianbergmann · commit 43c24ff76bf3 · 2020-07-14T06:15:14.000+02:00
diff --git a/src/IgnoredLinesFindingVisitor.php b/src/IgnoredLinesFindingVisitor.php
@@ -57,6 +57,13 @@ public function enterNode(Node $node): void
                 range($node->getStartLine(), $node->getEndLine())
             );
         }
+
+        if ($this->ignoreDeprecated && strpos($docComment->getText(), '@deprecated') !== false) {
+            $this->ignoredLines = array_merge(
+                $this->ignoredLines,
+                range($node->getStartLine(), $node->getEndLine())
+            );
+        }
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -57,6 +57,13 @@ public function enterNode(Node $node): void`
`57`	`57`	`range($node->getStartLine(), $node->getEndLine())`
`58`	`58`	`);`
`59`	`59`	`}`
	`60`	`+`
	`61`	`+ if ($this->ignoreDeprecated && strpos($docComment->getText(), '@deprecated') !== false) {`
	`62`	`+ $this->ignoredLines = array_merge(`
	`63`	`+ $this->ignoredLines,`
	`64`	`+ range($node->getStartLine(), $node->getEndLine())`
	`65`	`+ );`
	`66`	`+ }`
`60`	`67`	`}`
`61`	`68`
`62`	`69`	`/**`