<?php  //$Id: settings.php,v 1.1.2.2 2007/12/22 20:04:12 poltawski Exp $

$settings->add(new admin_setting_configtext('lams_serverurl', get_string('server_url', 'lams'), 
                    get_string('serverurl', 'lams'), '') );

$settings->add(new admin_setting_configtext('lams_serverid', get_string('server_id', 'lams'), 
                    get_string('serverid', 'lams'), '') );

$settings->add(new admin_setting_configtext('lams_serverkey', get_string('server_key', 'lams'), 
                    get_string('serverkey', 'lams'), '') );

?>