settings.php

<?php

/**
 * This file defines the admin settings for this plugin
 *
 * @package   assignsubmission_dtt
 * @license   http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

defined('MOODLE_INTERNAL') || die();


$settings->add(new admin_setting_configcheckbox("assignsubmission_dtt/default",
    new lang_string("default", "assignsubmission_dtt"),
    new lang_string("default_help", "assignsubmission_dtt"), 0));

$settings->add(new admin_setting_configtext("assignsubmission_dtt/backendHost",
    new lang_string("backendHost", "assignsubmission_dtt"),
    new lang_string("backendHost_help", "assignsubmission_dtt"), "http://backend:8080"));