Revert to using PECL for Redis

[enoch85]

It's been a while now since we change to the Ubuntu 18.04 packages, believing that the maintainer for redis-server would come around and fix the annoying issue that spams the log... Since there has been no change, let's fix it by reverting back to the old way of installing Redis, using PECL.

Spam free logs, here we go!

[enoch85]

Update Redis PHP extension

if type pecl > /dev/null 2>&1
then
install_if_not php7.2-dev
echo "Trying to upgrade the Redis Pecl extenstion..."
yes '' | pecl upgrade redis
service redis-server restart
fi

---

Install PHPmodule

install_if_not php7.2-dev
if ! yes '' | pecl install -Z redis
then
msg_box "PHP module installation failed"
exit 1
else
printf "${Green}\nPHP module installation OK!${Color_Off}\n"
fi