install redis extension

Signed-off-by: sergiu <sergiubota@rospace.com>

Author: SergiuBota1

.laminas-ci/pre-run.sh

@@ -2,6 +2,6 @@ JOB=$3
 PHP_VERSION=$4
 COMMAND=$(echo "${JOB}" | jq -r '.command')
 
-echo "Running pre-run $COMMAND"
+echo "Running pre-run  $COMMAND"
 
-apt-get install php-redis
+apt-get install php"${PHP_VERSION}"--php-redis