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";
 						}
 					}