]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48f82b3) | patch
New plugin: Configure options by end-users and store them to a cookie
authorJakub Vrana <jakub@vrana.cz>
Sun, 6 Apr 2025 04:24:55 +0000 (06:24 +0200)
committerJakub Vrana <jakub@vrana.cz>
Sun, 6 Apr 2025 05:29:16 +0000 (07:29 +0200)
commitcca943015f6e4bb2b446e87e9fa79535365698a9
treee1265bbeb16185a2cdd2a0d5cba77d8c9c4c6b73tree | snapshot
parent48f82b3454aefeaa4a8cbf64578604ac75f16987commit | diff
New plugin: Configure options by end-users and store them to a cookie
CHANGELOG.md diff | blob | history
adminer/include/adminer.inc.php diff | blob | history
adminer/include/html.inc.php diff | blob | history
adminer/include/plugins.inc.php diff | blob | history
editor/include/adminer.inc.php diff | blob | history
plugins/config.php [new file with mode: 0644] blob
Sources of adminer, a webclient for database management systems.