An archlinux PKGBUILD for PHP's wddx extension