jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359684 )
Change subject: Add core languages directory to phan analysis
..
Add core languages directory to phan analysis
Bug: T167995
Change-Id: I29995d804ddcc82c59fd5860a2a7387b17e64906
---
M tests/phan/config.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, but someone else must approve
Tobias Gritschacher: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/phan/config.php b/tests/phan/config.php
index 44c53ec..14f3b72 100644
--- a/tests/phan/config.php
+++ b/tests/phan/config.php
@@ -52,6 +52,7 @@
'./../../includes',
'./../../maintenance',
'./../../vendor',
+ './../../languages',
],
/**
@@ -61,7 +62,7 @@
* This is useful for excluding hopelessly unanalyzable
* files that can't be removed for whatever reason.
*/
- 'exclude_file_list' => function_exists( 'xcache_get' ) ? [] : [
+ 'exclude_file_list' => [
],
/**
@@ -74,6 +75,7 @@
'./../../includes',
'./../../maintenance',
'./../../vendor',
+ './../../languages',
],
/**
--
To view, visit https://gerrit.wikimedia.org/r/359684
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I29995d804ddcc82c59fd5860a2a7387b17e64906
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/ElectronPdfService
Gerrit-Branch: master
Gerrit-Owner: EBernhardson
Gerrit-Reviewer: Addshore
Gerrit-Reviewer: Andrew-WMDE
Gerrit-Reviewer: Hashar
Gerrit-Reviewer: Tobias Gritschacher
Gerrit-Reviewer: WMDE-Fisch
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits