diff --git a/admin/mnet/mnet_review.html b/admin/mnet/mnet_review.html index 4ec6f8af29f..f017df6153d 100644 --- a/admin/mnet/mnet_review.html +++ b/admin/mnet/mnet_review.html @@ -60,6 +60,18 @@ if (isset($mnet_peer->deleted) && $mnet_peer->deleted > 0) { + + : + +public_key_expires < time()) { + print_string('expired', 'mnet'); + echo ' '; + } + echo userdate($mnet_peer->public_key_expires); +?> + + Click on Continue to edit that record.'; $string['publickey'] = 'Public key'; $string['expires'] = 'Valid until'; +$string['expired'] = 'This key expired on'; $string['publickey_help'] = 'The public key is automatically obtained from the remote server.'; $string['couldnotgetcert'] = 'No certificate found at
$a.
The host may be down or incorrectly configured.'; $string['ipaddress'] = 'IP address';