Basic settings and plugins for adminer

Pau Capó 9ecaaecfe8 version 4.7.0		2019-01-06 01:37:41 +01:00
plugins	json htmlentities	2018-05-25 13:28:50 +02:00
.gitignore	version 4.7.0	2019-01-06 01:37:41 +01:00
adminer.css	add a few plugins	2018-04-28 13:25:58 +02:00
adminer.php	version 4.7.0	2019-01-06 01:37:41 +01:00
index.php	version 4.6.3	2018-07-02 16:38:07 +02:00
plugin.php	updated plugins and version; added table filter	2018-02-17 16:12:52 +01:00
update.php	change to admin-en	2018-03-16 14:16:56 +01:00