made the globalsearch results scrollable for longer results

cfoe

2012-07-18 a1cd2cf5ae2d181e3a348c5c67b5accfc1d9df58

1
2
3
4
5
6
7
8
<?php
$wb['server_id_txt'] = 'Server';
$wb['priority_txt'] = 'Priority';
$wb['policy_id_txt'] = 'Policy';
$wb['email_txt'] = 'Email (Pattern)';
$wb['fullname_txt'] = 'Name';
$wb['local_txt'] = 'Local';
?>