]> git.joonet.de Git - adminer.git/commit
Fix error found by PHPStan
authorJakub Vrana <jakub@vrana.cz>
Thu, 16 Feb 2017 18:05:45 +0000 (19:05 +0100)
committerJakub Vrana <jakub@vrana.cz>
Thu, 16 Feb 2017 18:05:45 +0000 (19:05 +0100)
commitdc9ae77e2ff671239fe09eab3fc993cc398dce4a
tree62338d55cfbecb33eeaa1a1a59723dab80595bb7
parent8f60870d9a458f7f4563deb7e36bb3fd2b3d3242
Fix error found by PHPStan
adminer/include/adminer.inc.php