pkgbase = php-wddx
	pkgdesc = PHP extension for wddx
	pkgver = 7.0.1
	pkgrel = 1
	url = http://www.php.net/wddx
	install = php-wddx.install
	arch = i686
	arch = x86_64
	license = PHP
	depends = php
	backup = etc/php/conf.d/wddx.ini
	source = http://www.php.net/distributions/php-7.0.1.tar.gz
	md5sums = 2da2981724d5c99ab7dc6e2164c8e756

pkgname = php-wddx