Simplify gitlab build script a bit

build/docker_install.sh

@@ -5,7 +5,6 @@
 
 # Where am I?
 a="/$0"; a=${a%/*}; a=${a:-.}; a=${a#/}/; DIR=$(cd $a; pwd)
-#DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
 set -xe
 
@@ -24,10 +23,5 @@ chmod +x /usr/local/bin/phpunit
 rm "$DIR/../tests/settings.json.dist"
 mv "$DIR/../tests/settings-ci.json" "$DIR/../tests/settings.json"
 
-# Install mysql driver
-# Here you can install any other extension that you need
-docker-php-ext-install pdo pdo_mysql pdo_pgsql
-#docker-php-ext-install pdo_pgsql
-#docker-php-ext-install pdo_oci
-#docker-php-ext-install interbase
-#docker-php-ext-install pdo_firebird
+# Install pdo drivers
+docker-php-ext-install pdo_mysql pdo_pgsql