Using the admin interface
Using the admin interface#
The admin interface can be accessed through
/admin which opens the Django admin interface
Here, you can alter many options about the editor.
To install extensions directly to the editor, use the
From here you can add new extensions or alter current ones.
If you want the extension to be available to every user, tick the ‘public’ checkbox .
Select a user to be the author of the extension; this user will have full editing access.
Upload the extension package - this should at minimum contain a
.js file matching the short name.
Upon saving the extension, it will become available for use within your editor.
Downloading extensions from GitHub#
The extension packages for first-party extensions can be obtained from the Numbas page on GitHub
To obtain the package for an extension, click on the Code button and then Download ZIP.
This can then be directly uploaded as above - ensure that the short name matches the
.js in the package folder.