]> git.joonet.de Git - adminer.git/commit
Use file caching only in non-dev
authorJakub Vrana <jakub@vrana.cz>
Tue, 20 Feb 2018 21:08:52 +0000 (22:08 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 20 Feb 2018 21:08:52 +0000 (22:08 +0100)
commit6ebbd8c71950ae408aab134f1982dfb22af1f186
tree98990a4fcd2b9d65d40959ddd7208d81c8c1950c
parent8bb51bec36ffd3cfe4b9a9241a98864b21e3edd0
Use file caching only in non-dev
adminer/file.inc.php
compile.php