Skip to content
Snippets Groups Projects
Commit 42037428 authored by Chris Sangwin's avatar Chris Sangwin
Browse files

Ensure users have the supported packages listed on the stack config page.

parent 690a327c
Branches
No related tags found
No related merge requests found
...@@ -398,7 +398,7 @@ $string['settingserveruserpass'] = 'Server username:password'; ...@@ -398,7 +398,7 @@ $string['settingserveruserpass'] = 'Server username:password';
$string['settingserveruserpass_desc'] = 'If you are using Platform type: Server, and if you have set up your Maxima pool server with HTTP authentication, then you can put the username and password here. That is slighly safer than putting them in the URL. The format is username:password.'; $string['settingserveruserpass_desc'] = 'If you are using Platform type: Server, and if you have set up your Maxima pool server with HTTP authentication, then you can put the username and password here. That is slighly safer than putting them in the URL. The format is username:password.';
$string['settingusefullinks'] = 'Useful links'; $string['settingusefullinks'] = 'Useful links';
$string['settingmaximalibraries'] = 'Load optional Maxima libraries:'; $string['settingmaximalibraries'] = 'Load optional Maxima libraries:';
$string['settingmaximalibraries_desc'] = 'This is a comma separated list of Maxima library names which will be automatically loaded into Maxima. Only supported library names can be used: see the documentation for supported library names. These libraries will not be loaded if you have saved a maxima image to optimise performance.'; $string['settingmaximalibraries_desc'] = 'This is a comma separated list of Maxima library names which will be automatically loaded into Maxima. Only supported library names can be used: "stats, distrib, descriptive, simplex". These libraries will not be loaded if you have saved a maxima image to optimise performance.';
$string['settingmaximalibraries_error'] = 'The following package is not supported: {$a}'; $string['settingmaximalibraries_error'] = 'The following package is not supported: {$a}';
$string['settingmaximalibraries_failed'] = 'It appears as if some of the Maxima packages you have asked for have failed to load. Please refer to the installation instructions for notes about this error.'; $string['settingmaximalibraries_failed'] = 'It appears as if some of the Maxima packages you have asked for have failed to load. Please refer to the installation instructions for notes about this error.';
......
...@@ -103,6 +103,7 @@ $settings->add(new admin_setting_configtext('qtype_stack/plotcommand', ...@@ -103,6 +103,7 @@ $settings->add(new admin_setting_configtext('qtype_stack/plotcommand',
get_string('settingplatformplotcommand', 'qtype_stack'), get_string('settingplatformplotcommand', 'qtype_stack'),
get_string('settingplatformplotcommand_desc', 'qtype_stack'), '')); get_string('settingplatformplotcommand_desc', 'qtype_stack'), ''));
// The supported libraries are defined by public static $maximalibraries in installhelper.php.
$settings->add(new admin_setting_configtext('qtype_stack/maximalibraries', $settings->add(new admin_setting_configtext('qtype_stack/maximalibraries',
get_string('settingmaximalibraries', 'qtype_stack'), get_string('settingmaximalibraries', 'qtype_stack'),
get_string('settingmaximalibraries_desc', 'qtype_stack'), null)); get_string('settingmaximalibraries_desc', 'qtype_stack'), null));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment