Cache busting for adminer.css

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index eba6d26c28b2ecea03629d0fdaf2bdf66ea0681b..09f9add880cd63f179be2345c4ce5b2617176d03 100644 (file)
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -108,7 +108,7 @@ class Adminer {
                $return = array();
                $filename = "adminer.css";
                if (file_exists($filename)) {
-                       $return[] = $filename;
+                       $return[] = "$filename?v=" . crc32(file_get_contents($filename));
                }
                return $return;
        }

diff --git a/changes.txt b/changes.txt
index fc1f48cc5a865915bffaff4730d826b84d68b679..e4c5446e2dd5382b921aac5e5c8e92b2968ccde2 100644 (file)
--- a/changes.txt
+++ b/changes.txt
@@ -2,6 +2,7 @@ Adminer 4.7.2-dev:
 Do not attempt logging in without password (bug #676)
 Stretch footer over the whole table width (bug #624)
 Allow overwriting tables when copying them
+Cache busting for adminer.css
 MySQL: Fix creating users and changing password in MySQL 8 (bug #663)
 MySQL: Pass SRID to GeomFromText