newOption('notification.enabled', 'bool', false) ->setBoolOptions( array( pht('Enable Real-Time Notifications'), pht('Disable Real-Time Notifications'), )) ->setSummary(pht('Enable real-time notifications.')) ->setDescription( pht( "Enable real-time notifications. You must also run a Node.js ". "based notification server for this to work. Consult the ". "documentation in 'Notifications User Guide: Setup and ". "Configuration' for instructions.")), $this->newOption( 'notification.client-uri', 'string', 'http://localhost:22280/') ->setDescription(pht('Location of the client server.')), $this->newOption( 'notification.server-uri', 'string', 'http://localhost:22281/') ->setDescription(pht('Location of the notification receiver server.')), ); } }