Profile switches

This local plugin adds to the user’s profile section of the settings block on/off switches for html editor and course ajax.
The plugin offers a convenient way to switch editor/ajax setting in your user profile on/off without having to edit the whole profile.
This quick editor on/off switch may be useful when adding/editing content in resources and activities, which the html editor’s filters may muck up (such as css and javascript).