]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 306e873) | patch
Use is_numeric()
authorJakub Vrana <jakub@vrana.cz>
Tue, 20 Aug 2019 07:47:01 +0000 (09:47 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 20 Aug 2019 07:47:01 +0000 (09:47 +0200)
commit95a92ceb9536a9484421831e7e483caa8948a09c
treed2eae7069ea07ad4263548322ca056d51d9abb8ftree | snapshot
parent306e8733e765404edb72663710a290ef0af177bbcommit | diff
Use is_numeric()
adminer/include/adminer.inc.php diff | blob | history
Sources of adminer, a webclient for database management systems.