Description: Fix for PHP8
 each() is deprecated
Author: Jean-Michel Vourgère <nirgal@debian.org>
Forwarded: https://github.com/phppgadmin/phppgadmin/pull/126
Last-Update: 2020-12-26

--- phppgadmin-7.13.0+dfsg.orig/all_db.php
+++ phppgadmin-7.13.0+dfsg/all_db.php
@@ -199,7 +199,7 @@
 		echo "\t\t<td class=\"data1\">\n";
 		echo "\t\t\t<select name=\"formEncoding\">\n";
 		echo "\t\t\t\t<option value=\"\"></option>\n";
-		while (list ($key) = each ($data->codemap)) {
+		foreach ($data->codemap as $key => $value) {
 		    echo "\t\t\t\t<option value=\"", htmlspecialchars($key), "\"",
 				($key == $_POST['formEncoding']) ? ' selected="selected"' : '', ">",
 				$misc->printVal($key), "</option>\n";
