From: Jonathon Sim <jonathon.sim@zeald.com>
Date: Mon, 1 Apr 2019 22:42:55 +0000 (+0100)
Subject: Cache busting for adminer.css
X-Git-Tag: v4.7.2~13
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=7f32e2675941bd16f6d2f3c83df1a8c4ed970834;p=adminer.git

Cache busting for adminer.css
---

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index eba6d26c..09f9add8 100644
--- 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 fc1f48cc..e4c5446e 100644
--- 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