From e5cacbec90d1309bccd4293f2715e3c22d5e6c3e Mon Sep 17 00:00:00 2001 From: David Goodwin Date: Thu, 3 Jan 2019 19:47:16 +0000 Subject: [PATCH] add missing attribute --- model/Shell.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/model/Shell.php b/model/Shell.php index 8a2de2b8..3d2bece6 100644 --- a/model/Shell.php +++ b/model/Shell.php @@ -92,6 +92,11 @@ class Shell { */ public $name; + /** + * @param string + */ + public $handler_to_use; + /** * Constructs this Shell instance. *