Adding PHPDoc comments for database.inc