fix exception when there's no pharext_install.php
authorMichael Wallner <mike@php.net>
Fri, 6 Mar 2015 17:52:27 +0000 (18:52 +0100)
committerMichael Wallner <mike@php.net>
Fri, 6 Mar 2015 17:52:27 +0000 (18:52 +0100)
commitaca5c81d18cbc301bbffba4313c674da1dbc9a55
tree8ec855d501cafeaf01dee16793bc22e516ea65a8
parenteb2c17b22d341aab784dadbb4f80fc9e992eff3a
fix exception when there's no pharext_install.php
bin/pharext
src/pharext/Installer.php