MDL-39087 Purge all caches at the end of uninstall_plugin()

This is necessary now as many plugins management related features
started to use MUC intensively recently. During the development of this
issue, we realized that the plugin was still considered as installed if
caches were not purged.

diff --git a/lib/adminlib.php b/lib/adminlib.php
index 3156374..89fa8e8 100644 (file)
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -321,6 +321,9 @@ function uninstall_plugin($type, $name) {
     // remove event handlers and dequeue pending events
     events_uninstall($component);
 
+    // Finally purge all caches.
+    purge_all_caches();
+
     echo $OUTPUT->notification(get_string('success'), 'notifysuccess');
 }