function display_extensions()
{
- global $table_style;
-
- start_table($table_style);
+ start_table(TABLESTYLE);
$th = array(_("Name"),_("Tab"), _("Link text"), _("Folder"), _("Filename"),
_("Access extensions"),"", "");
table_header($th);
function company_extensions($id)
{
- global $table_style;
-
- start_table($table_style);
+ start_table(TABLESTYLE);
$th = array(_("Name"),_("Tab"), _("Link text"), _("Active"));
function display_ext_edit($selected_id)
{
- global $table_style2, $Mode;
+ global $Mode;
$extensions = get_company_extensions();
- start_table($table_style2);
+ start_table(TABLESTYLE2);
if ($selected_id != -1 && $extensions[$selected_id]['type'] == 'plugin')
{