<?php/* * This file is part of the php-code-coverage package. * * (c) Sebastian Bergmann <sebastian@phpunit.de> * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */namespaceSebastianBergmann\CodeCoverage;useSebastianBergmann\VersionasVersionId;finalclassVersion{/** * @var string */privatestatic$version;publicstaticfunctionid():string{if(self::$version===null){$version=newVersionId('6.1.4',\dirname(__DIR__));self::$version=$version->getVersion();}returnself::$version;}}