From af87336116f3ae0996776c94144f9ba1fdb122bf Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 3 Mar 2025 15:43:04 +0100
Subject: [PATCH] Add TODO

---
 adminer/dump.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/adminer/dump.inc.php b/adminer/dump.inc.php
index bac6e897..8dfbed60 100644
--- 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";
 						}
 					}