From 665ea82a061b70812fccd57c128acc133693dc5d Mon Sep 17 00:00:00 2001
From: jeroendedauw <jeroendedauw@gmail.com>
Date: Thu, 5 Feb 2015 19:21:55 +0100
Subject: [PATCH] Remove doc for param that does not exist

---
 src/CodeCoverage/Filter.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/CodeCoverage/Filter.php b/src/CodeCoverage/Filter.php
index 5154c041a..8a300c025 100644
--- a/src/CodeCoverage/Filter.php
+++ b/src/CodeCoverage/Filter.php
@@ -236,7 +236,6 @@ public function isFile($filename)
      * When the whitelist is not empty, whitelisting is used.
      *
      * @param  string                     $filename
-     * @param  boolean                    $ignoreWhitelist
      * @return boolean
      * @throws PHP_CodeCoverage_Exception
      */