New plugin: Configure options by end-users and store them to a cookie

editor/include/adminer.inc.php

@@ -231,6 +231,10 @@ ORDER BY ORDINAL_POSITION", null, "") as $row
 		return $val;
 	}
 
+	function config() {
+		return array();
+	}
+
 	function selectColumnsPrint($select, $columns) {
 		// can allow grouping functions by indexes
 	}