Fix notice in DatasetManager

2022-10-31 15:36:01 +01:00
1 changed files with 1 additions and 1 deletions
--- a/src/DatasetManager.php
+++ b/src/DatasetManager.php
@ -84,7 +84,7 @@ class DatasetManager
        if (file_exists($fn)) {
            $versions = include $fn;
            foreach ($versions['versions'] as $name=>$version) {
-                self::$packageVersions[$name] = $version['version'];
+                self::$packageVersions[$name] = array_key_exists('version',$version) ? $version['version'] : null;
            }
        }