diff --git a/admin/mnet/index.php b/admin/mnet/index.php index 04bac9fa122..3b5479e25dc 100644 --- a/admin/mnet/index.php +++ b/admin/mnet/index.php @@ -76,5 +76,60 @@ } } $hosts = get_records_select('mnet_host', " id != '{$CFG->mnet_localhost_id}' AND deleted = '0' ",'wwwroot ASC' ); - include('./index.html'); + + admin_externalpage_print_header($adminroot); +?> +
+
+ + + + +
+ + + + + + + + + + + + +
Public Key:
public_key; ?>
Networking: + mnet_dispatcher_mode)? 'checked="true"' : '' ?> />
+ mnet_dispatcher_mode)? 'checked="true"' : '' ?> />
+ +
+
+
+
+ + + + +
+ + + + + + + + + + + +
+ + +
+
+
+
+ +