Andrew Dolgov dee1614d0a db_prefs: return null if requested key is unset		2019-04-10 13:39:55 +03:00
..
mysqli.php	fix some minor issues found by code analyzer	2017-12-03 23:08:04 +03:00
pgsql.php	remove some redundant php closing tags	2017-04-26 20:24:18 +03:00
prefs.php	db_prefs: return null if requested key is unset	2019-04-10 13:39:55 +03:00