* simplify elastic container names

* turn on redis extension on workspace

dockerfiles/workspace/workspace73.Dockerfile

@@ -28,6 +28,8 @@ RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
 
 RUN pecl install -a redis
 
+RUN echo "extension=redis.so" > /etc/php/7.3/cli/conf.d/20-redis.ini
+
 ###########################################################################
 # S3 config
 ###########################################################################