MDL-66893 mod_forum: update navigation bar in grader UI