etc/options

--- a/etc/options	Wed Oct 30 19:23:01 2019 +0100
+++ b/etc/options	Wed Oct 30 20:10:35 2019 +0100
@@ -350,6 +350,7 @@
 option phabricator_www_user : string = "www-data"
 option phabricator_www_root : string = "/var/www"
 
+option phabricator_mysql_config : string = "/etc/mysql/debian.cnf"
 option phabricator_apache_root : string = "/etc/apache2"
 
 option phabricator_smtp_host : string = ""