From: addshore <addshorewiki@gmail.com>
Date: Fri, 20 Jan 2017 17:35:03 +0000 (+0000)
Subject: PHAN: conditionally load stubs
X-Git-Tag: 1.31.0-rc.0~4252^2
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/pie.php?a=commitdiff_plain;h=d9c717c0893b2b2cf52bddc14de1f08d0b0263f2;p=lhc%2Fweb%2Fwiklou.git

PHAN: conditionally load stubs

Change-Id: I6f78c573468a393d82927d614df5bceda86a9e9c
---

diff --git a/tests/phan/config.php b/tests/phan/config.php
index cef03ee013..e8374eb63d 100644
--- a/tests/phan/config.php
+++ b/tests/phan/config.php
@@ -34,19 +34,24 @@ return [
 	 * project. directory_list won't find .inc files so
 	 * we augment it here.
 	 */
-	'file_list' => [
-		'maintenance/7zip.inc',
-		'maintenance/backupPrefetch.inc',
-		'maintenance/commandLine.inc',
-		'maintenance/sqlite.inc',
-		'maintenance/userOptions.inc',
-		'maintenance/backup.inc',
-		'maintenance/cleanupTable.inc',
-		'maintenance/importImages.inc',
-		'maintenance/userDupes.inc',
-		'maintenance/language/checkLanguage.inc',
-		'maintenance/language/languages.inc',
-	],
+	'file_list' => array_merge(
+		function_exists( 'register_postsend_function' ) ? [] : [ 'tests/phan/stubs/hhvm.php' ],
+		function_exists( 'wikidiff2_do_diff' ) ? [] : [ 'tests/phan/stubs/wikidiff.php' ],
+		class_exists( PEAR::class ) ? [] : [ 'tests/phan/stubs/mail.php' ],
+		[
+			'maintenance/7zip.inc',
+			'maintenance/backupPrefetch.inc',
+			'maintenance/commandLine.inc',
+			'maintenance/sqlite.inc',
+			'maintenance/userOptions.inc',
+			'maintenance/backup.inc',
+			'maintenance/cleanupTable.inc',
+			'maintenance/importImages.inc',
+			'maintenance/userDupes.inc',
+			'maintenance/language/checkLanguage.inc',
+			'maintenance/language/languages.inc',
+		]
+	),
 
 	/**
 	 * A list of directories that should be parsed for class and
@@ -65,7 +70,6 @@ return [
 		'resources/',
 		'skins/',
 		'vendor/',
-		'tests/phan/stubs/',
 	],
 
 	/**
@@ -96,7 +100,7 @@ return [
 		// External class
 		'includes/libs/jsminplus.php',
 		// separate repositories
-		'skins/'
+		'skins/',
 	],
 
 	/**
@@ -129,7 +133,7 @@ return [
 	 * ```php
 	 * <?php
 	 * function test($arg):int {
-	 * 	return $arg;
+	 *    return $arg;
 	 * }
 	 * test("abc");
 	 * ```
diff --git a/tests/phan/stubs/mail.php b/tests/phan/stubs/mail.php
index e906cdb8ff..7cd9016771 100644
--- a/tests/phan/stubs/mail.php
+++ b/tests/phan/stubs/mail.php
@@ -1,11 +1,11 @@
 <?php
 
-// @codingStandardsIgnoreFile
-
 /**
  * Minimal set of classes necessary for UserMailer to be happy. Types
  * taken from documentation at pear.php.net.
+ * @codingStandardsIgnoreFile
  */
+
 class PEAR {
 	/**
 	 * @param mixed $data