From d07786bbb428df4622f16c7dbd095b0e94a8b847 Mon Sep 17 00:00:00 2001
From: Roy-Orbison <Roy-Orbison@users.noreply.github.com>
Date: Mon, 7 Aug 2023 14:39:29 +0930
Subject: [PATCH] Plugin to auto-include adminer.js when present

Closes #8
---
 plugins/adminer.js.php | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 plugins/adminer.js.php

diff --git a/plugins/adminer.js.php b/plugins/adminer.js.php
new file mode 100644
index 00000000..8101fbc2
--- /dev/null
+++ b/plugins/adminer.js.php
@@ -0,0 +1,15 @@
+<?php
+/** Enable auto-detection and inclusion of adminer.js, like adminer.css
+* @author Roy Orbitson, https://github.com/Roy-Orbison
+* @license https://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
+* @license https://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
+*/
+
+class AdminerDotJs {
+	function head() {
+		$filename = 'adminer.js';
+		if (file_exists($filename)) {
+			echo script_src("$filename?v=" . crc32(file_get_contents($filename))), "\n";
+		}
+	}
+}