Merge branch 'release/3.1' into release/3.2

This commit is contained in:
Dylan K. Taylor
2018-08-19 16:01:47 +01:00
5 changed files with 12 additions and 1 deletions

View File

@ -1028,6 +1028,7 @@ class Server{
return false;
}
/** @see LevelProvider::__construct() */
$level = new Level($this, $name, new $providerClass($path));
$this->levels[$level->getId()] = $level;
@ -1075,6 +1076,7 @@ class Server{
/** @var LevelProvider $providerClass */
$providerClass::generate($path, $name, $seed, $generator, $options);
/** @see LevelProvider::__construct() */
$level = new Level($this, $name, new $providerClass($path));
$this->levels[$level->getId()] = $level;