file-fetcher
|
Variables | |
$buffer = \file_get_contents(__DIR__ . '/../../src/Runner/Version.php') | |
$start = \strpos($buffer, 'new VersionId(\'') + \strlen('new VersionId(\'') | |
$end = \strpos($buffer, '\'', $start) | |
$version = \substr($buffer, $start, $end - $start) | |
$buffer = \file_get_contents(__DIR__ . '/../../src/Runner/Version.php') |
$end = \strpos($buffer, '\'', $start) |
$start = \strpos($buffer, 'new VersionId(\'') + \strlen('new VersionId(\'') |
$version = \substr($buffer, $start, $end - $start) |