Michael van Elst 960870828c fix handling of with_wddx option 22 jaren geleden
..
php.patch 6c6b0d7683 also patch vendor configure script, we don't run autoconf 22 jaren geleden
php.spec 960870828c fix handling of with_wddx option 22 jaren geleden