From 6b85bc349313a2ad61cee7b229e6d4ed4d3dec43 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 11 Dec 2018 14:06:45 +0100
Subject: [PATCH] Assume that what's working for PHP 7.2 works for PHP 7.3

---
 install-php-extensions | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/install-php-extensions b/install-php-extensions
index 07f5517..5fa6920 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -347,7 +347,7 @@ installBundledModule () {
 			;;
 		mssql|pdo_dblib)
 			case "$1" in
-				506|700|701|702)
+				506|700|701|702|703)
 					if ! test -f /usr/lib/libsybdb.so
 					then
 						ln -s /usr/lib/x86_64-linux-gnu/libsybdb.so /usr/lib/libsybdb.so
@@ -358,7 +358,7 @@ installBundledModule () {
 			;;
 		odbc)
 			case "$1" in
-				506|700|701|702)
+				506|700|701|702|703)
 					docker-php-source extract
 					cd /usr/src/php/ext/odbc
 					phpize
@@ -515,7 +515,7 @@ stringInList () {
 resetIFS
 PHP_MAJMIN_VERSION=$(getPHPMajorMinor)
 case "${PHP_MAJMIN_VERSION}" in
-	506|700|701|702)
+	506|700|701|702|703)
 		;;
 	*)
 		printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $(( PHP_MAJMIN_VERSION / 100 )) $(( PHP_MAJMIN_VERSION % 100 ))