var DocumentRoot : your_path = (home "public_html");
var SuExec : suexec_flag = true;
-var PhpVersion : php_version = php56;
+var PhpVersion : php_version = php72;
var Mailbox : email = defaultMailbox;
var ServerAdmin : email = defaultServerAdmin;
var MailNodes : [mail_node] = ["minsky"];
var MailManPlaces : [mailman_place] = [mailman_place_default mailman_node];
+var MailmanForceSSL : bool = false;
var DefaultWebNode : web_node = web_node;
\ No newline at end of file