From 7f32e2675941bd16f6d2f3c83df1a8c4ed970834 Mon Sep 17 00:00:00 2001
From: Jonathon Sim <jonathon.sim@zeald.com>
Date: Mon, 1 Apr 2019 23:42:55 +0100
Subject: [PATCH] Cache busting for adminer.css

---
 adminer/include/adminer.inc.php | 2 +-
 changes.txt                     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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