Fixes #6046: get_online_users() and find_active_users() now use $options