]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40ad846) | patch
Replace isset($var) by $var !== null
authorJakub Vrana <jakub@vrana.cz>
Mon, 14 May 2012 06:54:07 +0000 (23:54 -0700)
committerJakub Vrana <jakub@vrana.cz>
Mon, 14 May 2012 08:11:08 +0000 (01:11 -0700)
commit6591d485e9f159d745bade59796c72be9e70d73d
tree5bec58bd53f6f88c362385b8f341a8431d77c28ctree | snapshot
parent40ad846d20e49dd0dc51c2af7f2d19c8b169b026commit | diff
Replace isset($var) by $var !== null
24 files changed:
adminer/create.inc.php diff | blob | history
adminer/db.inc.php diff | blob | history
adminer/drivers/mssql.inc.php diff | blob | history
adminer/drivers/mysql.inc.php diff | blob | history
adminer/drivers/oracle.inc.php diff | blob | history
adminer/drivers/pgsql.inc.php diff | blob | history
adminer/drivers/sqlite.inc.php diff | blob | history
adminer/edit.inc.php diff | blob | history
adminer/include/adminer.inc.php diff | blob | history
adminer/include/auth.inc.php diff | blob | history
adminer/include/design.inc.php diff | blob | history
adminer/include/editing.inc.php diff | blob | history
adminer/include/functions.inc.php diff | blob | history
adminer/include/lang.inc.php diff | blob | history
adminer/select.inc.php diff | blob | history
compile.php diff | blob | history
coverage.php diff | blob | history
editor/include/adminer.inc.php diff | blob | history
plugins/edit-foreign.php diff | blob | history
plugins/enum-option.php diff | blob | history
plugins/file-upload.php diff | blob | history
plugins/plugin.php diff | blob | history
plugins/slugify.php diff | blob | history
plugins/translation.php diff | blob | history
Sources of adminer, a webclient for database management systems.