add(new admin_setting_configcheckbox("assignsubmission_dta/default", new lang_string("default", "assignsubmission_dta"), new lang_string("default_help", "assignsubmission_dta"), 0)); $settings->add(new admin_setting_configtext("assignsubmission_dta/backendHost", new lang_string("backendHost", "assignsubmission_dta"), new lang_string("backendHost_help", "assignsubmission_dta"), "http://dtabackend:8080"));