mod_assign/grading_navigation

Description:

• Javascript to handle changing users via the user selector in the header.

Source:

• mod/assign/amd/src/grading_navigation.js, line 16

Since:

• 3.1

Copyright:

• 2016 Damyon Wiese

License:

• http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later