Notice: Undefined variable: tokens in workflow_token_list()

hi here

It's not really a bug, but in the tokens list declaration there is no set and default value for the $tokens variable. My server show notice error and here is what I have :

Notice: Undefined variable: tokens in workflow_token_list() (line 1643 of /mysite/sites/all/modules/workflow/workflow.module).

I added you a patch to correct it.

Adding "$tokens = array();" on line 1643

Best regards.