Author: Alexandre Rossi <alexandre.rossi@gmail.com>
Description: Fix VersionNoverify plugin
Forwarded: https://sourceforge.net/p/adminer/bugs-and-features/705/

Index: adminer.git/plugins/version-noverify.php
===================================================================
--- adminer.git.orig/plugins/version-noverify.php	2019-09-06 10:10:29.544811633 +0200
+++ adminer.git/plugins/version-noverify.php	2019-09-06 10:11:18.181666258 +0200
@@ -8,7 +8,7 @@
 */
 class AdminerVersionNoverify {
 	
-	function navigation($missing) {
+	function head() {
 		echo script("verifyVersion = function () {};");
 	}
 	
