From b24f75a2ef33d5f7f039dcdf92c9b404fcd755bb Mon Sep 17 00:00:00 2001
From: Kunal Mehta <legoktm@member.fsf.org>
Date: Sat, 14 Apr 2018 01:03:51 -0700
Subject: [PATCH] Add phan configuration

Change-Id: I5d1c03978d6d018ea3e6fc0927598b5a2c931b85
---
 .gitignore            |  1 +
 composer.json         |  3 ++-
 tests/phan/config.php | 19 +++++++++++++++++++
 3 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 tests/phan/config.php

diff --git a/.gitignore b/.gitignore
index 092116692..574eea50f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@ docs/
 node_modules/
 vendor/
 /composer.lock
+tests/phan/issues
diff --git a/composer.json b/composer.json
index 544e44a8f..0107a5d4e 100644
--- a/composer.json
+++ b/composer.json
@@ -3,7 +3,8 @@
 		"jakub-onderka/php-parallel-lint": "1.0.0",
 		"jakub-onderka/php-console-highlighter": "0.3.2",
 		"mediawiki/mediawiki-codesniffer": "18.0.0",
-		"mediawiki/minus-x": "0.3.1"
+		"mediawiki/minus-x": "0.3.1",
+		"mediawiki/mediawiki-phan-config": "0.2.0"
 	},
 	"scripts": {
 		"fix": [
diff --git a/tests/phan/config.php b/tests/phan/config.php
new file mode 100644
index 000000000..0cfe0c1ab
--- /dev/null
+++ b/tests/phan/config.php
@@ -0,0 +1,19 @@
+<?php
+
+$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+
+$cfg['directory_list'] = array_merge(
+	$cfg['directory_list'],
+	[
+		'./../../extensions/BetaFeatures',
+	]
+);
+
+$cfg['exclude_analysis_directory_list'] = array_merge(
+	$cfg['exclude_analysis_directory_list'],
+	[
+		'./../../extensions/BetaFeatures',
+	]
+);
+
+return $cfg;