From adcd0cc2385b079b13628ebdb51b6fcc056c7087 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Thu, 27 Sep 2018 09:57:00 +0800
Subject: [PATCH] Initial work on Phan configuration

---
 .phan/config.php | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .phan/config.php

diff --git a/.phan/config.php b/.phan/config.php
new file mode 100644
index 00000000000..03d1a762dee
--- /dev/null
+++ b/.phan/config.php
@@ -0,0 +1,7 @@
+<?php declare(strict_types=1);
+return [
+    'directory_list'                  => [ 'src/', 'vendor/' ],
+    'exclude_analysis_directory_list' => [ 'vendor/' ],
+
+    'target_php_version'              => '7.1',
+];