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