public function setVersion($version)
{
preg_replace('#^php-#', '', $version);
$p = explode('.', $version);
$this->majorVersion = intval($p[0]);
if (isset($p[1])) {
$this->minorVersion = intval($p[1]);
}
if (isset($p[2])) {
$this->patchVersion = intval($p[2]);
}
$this->version = $version;
}