tool_types_and_proxies

new tool_types_and_proxies()

Source:

• mod/lti/amd/src/tool_types_and_proxies.js, line 16

Since:

• 4.0

Copyright:

• 2020 Andrew Madden

License:

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