<?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;classVersion{privatestatic$version;/** * @return string */publicstaticfunctionid(){if(self::$version===null){$version=newVersionId('5.3.2',\dirname(__DIR__));self::$version=$version->getVersion();}returnself::$version;}}