diff --git a/lib/classes/component.php b/lib/classes/component.php
index d1eab63d334..3a7c37be366 100644
--- a/lib/classes/component.php
+++ b/lib/classes/component.php
@@ -1102,7 +1102,7 @@ $cache = '.var_export($cache, true).';
                 $plugin = new stdClass();
                 $plugin->version = null;
                 $module = $plugin;
-                @include($fullplug.'/version.php');
+                include($fullplug.'/version.php');
                 $versions[$type.'_'.$plug] = $plugin->version;
             }
         }
diff --git a/lib/classes/plugin_manager.php b/lib/classes/plugin_manager.php
index 8fd87a2a81b..82921e4df90 100644
--- a/lib/classes/plugin_manager.php
+++ b/lib/classes/plugin_manager.php
@@ -291,7 +291,7 @@ class core_plugin_manager {
                 $plugin = new stdClass();
                 $plugin->version = null;
                 $module = $plugin;
-                @include($fullplug.'/version.php');
+                include($fullplug.'/version.php');
                 $this->presentplugins[$type][$plug] = $plugin;
             }
         }