diff --git a/lib/adminlib.php b/lib/adminlib.php index ba9a666c656..1158f54d9f8 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -123,6 +123,9 @@ define('INSECURE_DATAROOT_ERROR', 2); function uninstall_plugin($type, $name) { global $CFG, $DB, $OUTPUT; + // This may take a long time. + @set_time_limit(0); + // recursively uninstall all module/editor subplugins first if ($type === 'mod' || $type === 'editor') { $base = get_component_directory($type . '_' . $name);