| | |
|---|
| | | $a_user_prefs['dst_active'] = isset($_POST['_dst_active']) ? TRUE : FALSE; |
|---|
| | | $a_user_prefs['pagesize'] = is_numeric($_POST['_pagesize']) ? (int)$_POST['_pagesize'] : $CONFIG['pagesize']; |
|---|
| | | $a_user_prefs['prefer_html'] = isset($_POST['_prefer_html']) ? TRUE : FALSE; |
|---|
| | | $a_user_prefs['htmleditor'] = isset($_POST['_htmleditor']) ? TRUE : FALSE; |
|---|
| | | $a_user_prefs['draft_autosave'] = isset($_POST['_draft_autosave']) ? intval($_POST['_draft_autosave']) : 0; |
|---|
| | | |
|---|
| | | // MM: Date format toggle (Pretty / Standard) |
|---|
| | |
|---|
| | | // overwrite action variable |
|---|
| | | $OUTPUT->add_script(sprintf("\n%s.set_env('action', '%s');", $JS_OBJECT_NAME, $_action)); |
|---|
| | | |
|---|
| | | ?> |
|---|
| | | ?> |
|---|
