From f44f4789780ce37de428f64939d868101a40cf2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Proch=C3=A1zka?= <juniwalk@outlook.cz>
Date: Mon, 25 Apr 2016 00:26:22 +0200
Subject: [PATCH] Added missing @property for $properties

This caused error with janmarek/webloader: `Missing annotation @property for Nette\PhpGenerator\ClassType::$properties used in janmarek/webloader/WebLoader/Nette/Extension.php:157`
---
 src/PhpGenerator/ClassType.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/PhpGenerator/ClassType.php b/src/PhpGenerator/ClassType.php
index 7b2e9168..e0619353 100644
--- a/src/PhpGenerator/ClassType.php
+++ b/src/PhpGenerator/ClassType.php
@@ -15,6 +15,7 @@
  * Class/Interface/Trait description.
  *
  * @property Method[] $methods
+ * @property Property[] $properties
  */
 class ClassType
 {