pkgname=kdev-php