Description: Support marjor version with 2 digits, like 10.2
Author: Jean-Michel Vourgère <nirgal@debian.org>
Bug-Debian: https://bugs.debian.org/886446
Forwarded: no
Last-Update: 2018-02-14

--- phppgadmin-5.1+ds.orig/classes/database/Connection.php
+++ phppgadmin-5.1+ds/classes/database/Connection.php
@@ -91,7 +91,7 @@ class Connection {
 		/* All <7.4 versions are not supported */
 		// if major version is 7 or less and wasn't cought in the
 		// switch/case block, we have an unsupported version.
-		if ((int)substr($version, 0, 1) < 8)
+		if ((int)strtok($version, '.') < 8)
 			return null;
 
 		// If unknown version, then default to latest driver
