deformat(pht(<< 'client', 'host' => 'phabricator.mycompany.com', 'port' => 22280, 'protocol' => 'https', ), array( 'type' => 'admin', 'host' => '127.0.0.1', 'port' => 22281, 'protocol' => 'http', ), ); $servers_example1 = id(new PhutilJSON())->encodeAsList( $servers_example1); return array( $this->newOption('notification.servers', $servers_type, array()) ->setSummary(pht('Configure real-time notifications.')) ->setDescription($servers_help) ->addExample( $servers_example1, pht('Simple Example')), ); } }