tmp is a shitty name for the var. and it is not used anywhere else.

maybe something like
if (isset($options['invalidate_session']) && true === $options['invalidate_session']) { ... }