284
296
$db_tooltip = $db_tooltips[$db];
291
302
// use strpos instead of strrpos; it seems more common to
292
303
// have the db name, the separator, then the rest which
293
304
// might contain a separator
296
314
$group = substr($db, 0, $pos);
297
315
$disp_name_cut = substr($db, $pos);