settings.php File Reference

Variables
	$default = 60
	$desc = new lang_string('autosavefrequency_desc', 'editor_atto')
if($ADMIN->fulltree)	$name = new lang_string('autosavefrequency', 'editor_atto')
	$setting = new admin_setting_configduration('editor_atto/autosavefrequency', $name, $desc, $default)
	$settings = new admin_settingpage('editorsettingsatto', new lang_string('settings', 'editor_atto'))