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