Bugfix of rev. 1211 search_modext.php (ticket #863): Use isset and given unknown-user instead of counting all users.
Bugfix of rev. 1211 search_modext.php (ticket #863): Use isset and given unknown-user instead of counting all users.