Notification of string changes

[AMOS commit] MDL-66893 mod_forum: update navigation bar in grader UI Committed into Git: 2019-11-05 05:24 UTC