mirror of
https://github.com/moodle/moodle.git
synced 2025-03-07 01:10:02 +01:00
When clicked, disable the "Edit mode" button just before doing a redirection. It's been reported that after clicling several times the button, an inconsistent state between the button and the editing mode is achieved. The patch mitigates the issue.