<?php $ntp_status_title = gettext('Network Time'); $ntp_status_title_link = 'status_ntpd.php';