<?php $system_log_title = gettext('System Log'); $system_log_title_link = 'diag_logs.php';