Remove doc for param that does not exist#309

sebastianbergmann merged 1 commit intosebastianbergmann:mastersebastianbergmann/php-code-coverage:masterfrom

JeroenDeDauw:docJeroenDeDauw/php-code-coverage:docCopy head branch name to clipboard