// If 'works' is null then we could not connect to the server
if($works===null){
returnSetupResult::info(
$this->l10n->t('Could not check that your web server is properly set up to allow file synchronization over WebDAV. Please check manually.')."\n".$this->serverConfigHelp(),
$this->l10n->t('Your web server is not yet properly set up to allow file synchronization, because the WebDAV interface seems to be broken.')."\n".$this->serverConfigHelp(),
);
}
}
returnSetupResult::success(
$this->l10n->t('Your web server is properly set up to allow file synchronization over WebDAV.')