|
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) |
1.8.17