diff options
Diffstat (limited to 'databases/phppgadmin/files/patch-all_db.php')
| -rw-r--r-- | databases/phppgadmin/files/patch-all_db.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/phppgadmin/files/patch-all_db.php b/databases/phppgadmin/files/patch-all_db.php new file mode 100644 index 000000000000..a2f8dbd52592 --- /dev/null +++ b/databases/phppgadmin/files/patch-all_db.php @@ -0,0 +1,11 @@ +--- all_db.php.orig 2020-11-07 06:09:12 UTC ++++ 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"; |