'', 'label' => __('Servers'), ], [ 'link' => '', 'label' => __('Register plugin'), ], ] ); $management_allowed = is_management_allowed(); if ($management_allowed === false) { ui_print_warning_message( __( 'This console is not manager of this environment, please manage this feature from feature from %s.', ''.__('metaconsole').'' ) ); return; } } $str = 'This extension makes registering server plugins an easier task.'; $str .= ' Here you can upload a server plugin in .pspz zipped format.'; $str .= ' Please refer to the official documentation on how to obtain and use Server Plugins.'; $output = '
';
$output .= __($str);
$output .= '
';
$output .= __('You can get more plugins in our');
$output .= '';
$output .= ' '.__('Public Resource Library');
$output .= '';
$output .= '