Add TODO

diff --git a/adminer/dump.inc.php b/adminer/dump.inc.php
index bac6e8979e1b242dde5fdcf6f7d076a2f3efc986..8dfbed605fcbae85e64bcfa508a98ab8c10a0c19 100644 (file)
--- a/adminer/dump.inc.php
+++ b/adminer/dump.inc.php
@@ -58,6 +58,7 @@ SET foreign_key_checks = 0;
                                                if ($enums) {
                                                        $out .= ($style != 'DROP+CREATE' ? "DROP TYPE IF EXISTS " . idf_escape($type) . ";;\n" : "") . "CREATE TYPE " . idf_escape($type) . " AS ENUM ($enums);\n\n";
                                                } else {
+                                                       //! https://github.com/postgres/postgres/blob/REL_17_4/src/bin/pg_dump/pg_dump.c#L10846
                                                        $out .= "-- Could not export type $type\n\n";
                                                }
                                        }