<?php

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