]> git.joonet.de Git - adminer.git/commitdiff
Comment
authorJakub Vrana <jakub@vrana.cz>
Mon, 19 Feb 2018 22:59:49 +0000 (23:59 +0100)
committerJakub Vrana <jakub@vrana.cz>
Mon, 19 Feb 2018 23:00:00 +0000 (00:00 +0100)
adminer/file.inc.php

index 1a56103719e85c08e9b17b0108947b2cac84cf9c..c2d53d98f0c70d4a03c0aa9698e45b40a2cdf7e6 100644 (file)
@@ -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;