<?php echo __('Dashboard'); ?>

<?php echo __('Agents'); ?>

<?php echo __('Monitor'); ?>

<?php echo __('Events'); ?>

<?php echo __('Alerts'); ?>

<?php echo __('Groups'); ?>

<?php echo __('Servers'); ?>

<?php echo __('Logout'); ?>

'; echo __('Generated at').' '.ui_print_timestamp($time, true, ['prominent' => 'timestamp']); ?>