From 7515cd206d1ae0a210ecb4040ad7993059e73e98 Mon Sep 17 00:00:00 2001
From: Hamid Alaei Varnosfaderani <hamid.a85@gmail.com>
Date: Tue, 5 May 2020 12:57:37 +0430
Subject: [PATCH] add optional (#932)

---
 resources/views/meta.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/views/meta.php b/resources/views/meta.php
index 3e6fb6b..1d5e01c 100644
--- a/resources/views/meta.php
+++ b/resources/views/meta.php
@@ -58,5 +58,6 @@ namespace PHPSTORM_META {
     override(\last(0), elementType(0));
     override(\with(0), type(0));
     override(\tap(0), type(0));
+    override(\optional(0), type(0));
 
 }