diff --git a/mod/lti/classes/plugininfo/ltisource.php b/mod/lti/classes/plugininfo/ltisource.php index 7003fb04b7d..040c705f23e 100644 --- a/mod/lti/classes/plugininfo/ltisource.php +++ b/mod/lti/classes/plugininfo/ltisource.php @@ -69,4 +69,13 @@ class ltisource extends base { $ADMIN->add($parentnodename, $settings); } } + + /** + * Should there be a way to uninstall the plugin via the administration UI. + * + * @return bool + */ + public function is_uninstall_allowed() { + return true; + } }