fix exception when there's no pharext_install.php
[pharext/pharext] / src / pharext /
drwxr-xr-x   ..
-rw-r--r-- 6435 CliArgs.php
-rw-r--r-- 2589 CliCommand.php
-rw-r--r-- 571 Command.php
-rw-r--r-- 1909 FilteredSourceDir.php
-rw-r--r-- 1297 GitSourceDir.php
-rw-r--r-- 6319 Installer.php
-rw-r--r-- 4864 Packager.php
-rw-r--r-- 3581 PeclSourceDir.php
-rw-r--r-- 717 PharextSourceDir.php
-rw-r--r-- 505 SourceDir.php
-rw-r--r-- 64 Version.php