Bug #3786 PHP error when dropping user

Cannot reproduce, but those who can (including Michal) can test.