diff --git a/adminer/file.inc.php b/adminer/file.inc.php
index 1a561037..c2d53d98 100644
--- a/adminer/file.inc.php
+++ b/adminer/file.inc.php
@@ -1,4 +1,5 @@
 <?php
+//! rewrite in compile.php to cache moderately with -dev version
 if ($_SERVER["HTTP_IF_MODIFIED_SINCE"]) {
 	header("HTTP/1.1 304 Not Modified");
 	exit;