<?php /** * This file defines the admin settings for this plugin * * @package assignsubmission_dta * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later */ defined('MOODLE_INTERNAL') || die(); $settings->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"));