diff --git a/lib/classes/PluginAdministration.php b/lib/classes/PluginAdministration.php
index 8a3dda5bc5e1155192323aca2fd270b8dbe7162c..45c235b4da3e3b0e459cfd7c471b6cfdff747192 100644
--- a/lib/classes/PluginAdministration.php
+++ b/lib/classes/PluginAdministration.php
@@ -119,6 +119,10 @@ class PluginAdministration
 
         rename($tmpplugindir, $plugindir);
 
+        // wait until opcache.revalidate_freq expires
+        $revalidate_freq = min(ini_get('opcache.revalidate_freq'), 10);
+        sleep($revalidate_freq);
+
         // create database schema if needed
         $this->createDBSchema($plugindir, $manifest, $pluginregistered);