Add the admin group to the group list data.

Fixes the admin group disappearing from the list when updating the display as the result of a search.

This group data should probably be managed on the page entirely by the javascript GroupList object, but this seems like the interim method.

settings/templates/users/main.php

@@ -9,6 +9,9 @@ $allGroups=array();
 foreach($_["groups"] as $group) {
 	$allGroups[] = $group['name'];
 }
+foreach($_["adminGroup"] as $group) {
+	$allGroups[] = $group['name'];
+}
 $userlistParams['subadmingroups'] = $allGroups;
 $userlistParams['allGroups'] = json_encode($allGroups);
 $items = array_flip($userlistParams['subadmingroups']);