Bad PhpDoc parameter name