[aur-general] Merge request: phpredis/php-redis

https://aur.archlinux.org/packages/php-redis/ https://aur.archlinux.org/packages/phpredis/ One needs to be merged into the other. I don't know which into which as I don't deal with php packages. J. Leclanche