diff --git a/lib/editor/atto/lib.php b/lib/editor/atto/lib.php index 3e0bc0b561f..3cb83d7f0a4 100644 --- a/lib/editor/atto/lib.php +++ b/lib/editor/atto/lib.php @@ -98,6 +98,12 @@ class atto_texteditor extends texteditor { foreach ($groups as $group => $plugins) { $groupplugins = array(); foreach ($plugins as $plugin) { + // Do not die on missing plugin. + if (!core_component::get_component_directory('atto_' . $plugin)) { + debugging('Missing atto plugin ' . $plugin, DEBUG_DEVELOPER); + continue; + } + $jsplugin = array(); $jsplugin['name'] = $plugin; $jsplugin['params'] = array();