Basic settings and plugins for adminer

Pau Capó 8ea3d74c8c timestamps as title and not replacing text		2019-06-14 10:08:36 +02:00
plugins	timestamps as title and not replacing text	2019-06-14 10:08:36 +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.1	2019-01-25 13:42:40 +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