fix redis/igbinary PHP extension support for PHP 8.0 in 123.09beta01 - centmin.sh menu option 5 update/recompile of PHP 8.0 might have missing redis and igbinary extension due to some legacy PHP 8.0 dev routines left over that removed the extensions...