From b9902ec775cee05618068fd9c4dcad556c40cc97 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 31 May 2019 20:35:50 +0200
Subject: [PATCH] Add phan

Change-Id: I3557e798690f895bd7e8b3caf49d788c66a6a374
---
 .phan/config.php | 25 +++++++++++++++++++++++++
 composer.json    |  3 ++-
 2 files changed, 27 insertions(+), 1 deletion(-)
 create mode 100644 .phan/config.php

diff --git a/.phan/config.php b/.phan/config.php
new file mode 100644
index 0000000..ea45573
--- /dev/null
+++ b/.phan/config.php
@@ -0,0 +1,25 @@
+<?php
+
+$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
+
+$cfg['file_list'][] = 'MathLaTeXML.php';
+
+$cfg['directory_list'] = array_merge(
+	$cfg['directory_list'],
+	[
+		'../../extensions/VisualEditor',
+		'../../extensions/Wikibase/repo',
+		'../../extensions/Wikibase/lib',
+	]
+);
+
+$cfg['exclude_analysis_directory_list'] = array_merge(
+	$cfg['exclude_analysis_directory_list'],
+	[
+		'../../extensions/VisualEditor',
+		'../../extensions/Wikibase/repo',
+		'../../extensions/Wikibase/lib',
+	]
+);
+
+return $cfg;
diff --git a/composer.json b/composer.json
index 8d83960..b8be2a7 100644
--- a/composer.json
+++ b/composer.json
@@ -3,7 +3,8 @@
 		"jakub-onderka/php-parallel-lint": "1.0.0",
 		"mediawiki/mediawiki-codesniffer": "24.0.0",
 		"jakub-onderka/php-console-highlighter": "0.3.2",
-		"mediawiki/minus-x": "0.3.1"
+		"mediawiki/minus-x": "0.3.1",
+		"mediawiki/mediawiki-phan-config": "0.6.0"
 	},
 	"scripts": {
 		"test": [