3 $settings->add(new admin_setting_configtext('lams_serverurl', get_string('server_url', 'lams'),
4 get_string('serverurl', 'lams'), '') );
6 $settings->add(new admin_setting_configtext('lams_serverid', get_string('server_id', 'lams'),
7 get_string('serverid', 'lams'), '') );
9 $settings->add(new admin_setting_configtext('lams_serverkey', get_string('server_key', 'lams'),
10 get_string('serverkey', 'lams'), '') );