added PHPDOC comments for set_identity_cookie()