From d6fe9957fcc78cc1e6d139c9bae8068fcf369129 Mon Sep 17 00:00:00 2001
From: Eddie Kohler <ekohler@gmail.com>
Date: Wed, 13 May 2020 10:27:00 -0400
Subject: [PATCH] Update Phan configuration.

---
 .phan/config.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.phan/config.php b/.phan/config.php
index 3dd64406b..ee5863771 100644
--- a/.phan/config.php
+++ b/.phan/config.php
@@ -29,7 +29,7 @@
     // If true, missing properties will be created when
     // they are first seen. If false, we'll report an
     // error message.
-    "allow_missing_properties" => false,
+    "allow_missing_properties" => true,
 
     // Allow null to be cast as any type and for any
     // type to be cast to null.
@@ -105,8 +105,8 @@
     ]
 ];
 
-if (file_exists("hotcrp-config.php")) {
-    include("hotcrp-config.php");
+if (file_exists(Config::projectPath(".phan/hotcrp-config.php"))) {
+    include(Config::projectPath(".phan/hotcrp-config.php"));
 }
 
 return $config;