From fc63c5411684ef0e0b52b60d3de37ee25ba775de Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Wed, 4 Jan 2023 00:32:26 +0000 Subject: [PATCH] CraftingManager: more detailed type information for shapelessRecipes and shapedRecipes --- src/crafting/CraftingManager.php | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/src/crafting/CraftingManager.php b/src/crafting/CraftingManager.php index 0b37080fa..8edfaf3aa 100644 --- a/src/crafting/CraftingManager.php +++ b/src/crafting/CraftingManager.php @@ -34,9 +34,15 @@ use function usort; class CraftingManager{ use DestructorCallbackTrait; - /** @var ShapedRecipe[][] */ + /** + * @var ShapedRecipe[][] + * @phpstan-var array> + */ protected $shapedRecipes = []; - /** @var ShapelessRecipe[][] */ + /** + * @var ShapelessRecipe[][] + * @phpstan-var array> + */ protected $shapelessRecipes = []; /** @@ -133,6 +139,7 @@ class CraftingManager{ /** * @return ShapelessRecipe[][] + * @phpstan-return array> */ public function getShapelessRecipes() : array{ return $this->shapelessRecipes; @@ -140,6 +147,7 @@ class CraftingManager{ /** * @return ShapedRecipe[][] + * @phpstan-return array> */ public function getShapedRecipes() : array{ return $this->shapedRecipes;