fix pharext_install.php generation
authorMichael Wallner <mike@php.net>
Mon, 9 Mar 2015 10:26:44 +0000 (11:26 +0100)
committerMichael Wallner <mike@php.net>
Mon, 9 Mar 2015 10:26:44 +0000 (11:26 +0100)
commit3fdb14986895701ae19b30197cbe4247f15b2ca1
tree494834825ce3bfa6bd386934bdb3810748f7c693
parent2bdc45a990e7f16107252539a0cf51b486b43f76
fix pharext_install.php generation
src/pharext/SourceDir/Pecl.php