Plugin to auto-include adminer.js when present

plugins/adminer.js.php

@@ -0,0 +1,20 @@
+<?php
+
+/**
+ * Enables 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
+{
+	const FileName = "adminer.js";
+
+	function head() {
+		if (file_exists(self::FileName)) {
+			echo script_src(self::FileName . "?v=" . crc32(file_get_contents(self::FileName))), "\n";
+		}
+	}
+}