-//
-// Helper for formating menu tabs/entries to be displayed in extension table
-//
-function fmt_titles($defs)
-{
- if (!$defs) return '';
- foreach($defs as $def) {
- $str[] = access_string($def['title'], true);
- }
- return implode('<br>', array_values($str));
-}