]> git.joonet.de Git - adminer.git/commit
Move ALTER export to plugin
authorJakub Vrana <jakub@vrana.cz>
Thu, 4 Apr 2013 01:49:05 +0000 (18:49 -0700)
committerJakub Vrana <jakub@vrana.cz>
Thu, 4 Apr 2013 16:42:02 +0000 (09:42 -0700)
commit190812456fe21d86d96fa0cc5cf9c6aa00c434cd
tree9ba0204c5c8aac86229800ce85eac04d6307b7bc
parent58a8df7c86b75bf3bc8a9a63ca83181421ef5e46
Move ALTER export to plugin
adminer/dump.inc.php
adminer/include/adminer.inc.php
adminer/plugin.php
changes.txt
editor/include/adminer.inc.php
plugins/dump-alter.php [new file with mode: 0644]
plugins/plugin.php