diff --git a/webservice/externallib.php b/webservice/externallib.php index ea7d8bcc0b5..e1d0bc83573 100644 --- a/webservice/externallib.php +++ b/webservice/externallib.php @@ -142,6 +142,7 @@ class core_webservice_external extends external_api { if (is_readable($versionpath)) { // We store the component version once retrieved (so we don't load twice the version.php). if (!isset($componentversions[$function->component])) { + $plugin = new stdClass(); include($versionpath); $componentversions[$function->component] = $plugin->version; $version = $plugin->version;