| 
    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