getVersion(); // If it's not the latest version and not daily, prefix with the version number if ($version != null && $version != RELEASE && $version != 'Daily') { return str_replace('{$version}', $version, "$version $name"); } return $name; } }