Fully ignored Platform from code coverage
phpdoc now references correct interface