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, 0 insertions, 11 deletions
diff --git a/databases/phppgadmin/files/patch-all_db.php b/databases/phppgadmin/files/patch-all_db.php deleted file mode 100644 index a2f8dbd52592..000000000000 --- a/databases/phppgadmin/files/patch-all_db.php +++ /dev/null @@ -1,11 +0,0 @@ ---- 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"; |