first commit

1 files changed, 19 insertions, 0 deletions

diff --git a/www/wiki/extensions/ReplaceText/tests/phan/config.php b/www/wiki/extensions/ReplaceText/tests/phan/config.php
new file mode 100644
index 00000000..2895780d
--- /dev/null
+++ b/www/wiki/extensions/ReplaceText/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/AdminLinks',
+	]
+);
+
+$cfg['exclude_analysis_directory_list'] = array_merge(
+	$cfg['exclude_analysis_directory_list'],
+	[
+		'./../../extensions/AdminLinks',
+	]
+);
+
+return $cfg;