--- a/etc/options Tue Oct 29 19:42:40 2019 +0100
+++ b/etc/options Wed Oct 30 15:50:57 2019 +0100
@@ -343,6 +343,21 @@
option build_log_transaction_size : int = 1 -- "number of log files for each db update"
+section "Phabricator server"
+
+option phabricator_user : string = "phabricator"
+
+option phabricator_www_user : string = "www-data"
+option phabricator_www_root : string = "/var/www"
+
+option phabricator_smtp_host : string = ""
+option phabricator_smtp_port : int = 465
+option phabricator_smtp_user : string = ""
+option phabricator_smtp_passwd : string = ""
+option phabricator_smtp_protocol : string = "ssl"
+option phabricator_smtp_message_id : bool = true
+
+
section "Isabelle/Scala/ML system channel"
option system_channel_address : string = ""