]> git.joonet.de Git - adminer.git/commit
Update UI when coming from history
authorJakub Vrana <jakub@vrana.cz>
Fri, 9 Feb 2018 16:35:17 +0000 (17:35 +0100)
committerJakub Vrana <jakub@vrana.cz>
Fri, 9 Feb 2018 16:35:17 +0000 (17:35 +0100)
commit7ac96dd0b265b9463b78a21d436c9eaacb6d6763
tree0a1cfdff45e700c3321fef6ae10776fa0ed9d863
parenteeb7ce1939cf80811934a3a7fd684cdb51a49335
Update UI when coming from history
adminer/create.inc.php
adminer/static/editing.js