Fix #4630, the get_users_with_permissions() code did not account for the
'authenticated' user.
Authored by: ecarter 2007-07-16
Parent: [r5848]
Child: [r5850]