From 5c7d983db665ec8d829f5649fe07286452c1d419 Mon Sep 17 00:00:00 2001 From: Lars Moelleken Date: Fri, 11 Jan 2019 15:11:35 +0100 Subject: [PATCH] [+]: try to fix issue #942 copy&past from https://github.com/phan/phan/blob/master/src/Phan/Config/Initializer.php#L57 ;) --- bin/bootstrap.php | 28 ++++++++++++++++++++++++++-- 1 file changed, 26 insertions(+), 2 deletions(-) diff --git a/bin/bootstrap.php b/bin/bootstrap.php index 832de8d11ca..ebf29e2ca0b 100644 --- a/bin/bootstrap.php +++ b/bin/bootstrap.php @@ -1,6 +1,8 @@