-
Bug
-
Resolution: Fixed
-
Minor
-
2.9.5, 3.0.4, 3.1
-
MOODLE_29_STABLE, MOODLE_30_STABLE, MOODLE_31_STABLE
-
MOODLE_30_STABLE, MOODLE_31_STABLE
-
wip-
MDL-55425-master -
Easy
-
Access another user's profile as an admin or anyone with the ability to edit user profiles.
Go to Administration > Preferences > Editor preferences
Change the preference to something other than the value currently selected (usually Default editor).
Click Save changes.
What should happen next is you would be returned to the same user's preferences page, but usually you get dumped to your personal profile.
If you return to the user's profile that you were trying to edit and check the editor preference you'll find it has returned to the original value instead of saving the updated value.
This does not seem to affect other preferences that are accessible from this menu. If you login as the user you are able to make this change and have it retained.