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