From 02b1896069cf878d3e5278750820e94c4e05aee9 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 23 Jan 2020 08:28:54 +0100
Subject: v2.4.7

---
 phan-autoload.patch | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

(limited to 'phan-autoload.patch')

diff --git a/phan-autoload.patch b/phan-autoload.patch
index 6c9be57..27c22e9 100644
--- a/phan-autoload.patch
+++ b/phan-autoload.patch
@@ -1,7 +1,7 @@
 diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php
---- ./src/Phan/Bootstrap.php.rpm	2020-01-02 11:12:56.778690430 +0100
-+++ ./src/Phan/Bootstrap.php	2020-01-02 11:14:31.162289774 +0100
-@@ -118,22 +118,8 @@ if (extension_loaded('ast')) {
+--- ./src/Phan/Bootstrap.php.rpm	2020-01-23 08:24:27.000000000 +0100
++++ ./src/Phan/Bootstrap.php	2020-01-23 08:24:56.789339699 +0100
+@@ -124,22 +124,8 @@ if (extension_loaded('ast')) {
          phan_output_ast_installation_instructions();
      }
  }
@@ -27,37 +27,37 @@ diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php
  define('EXIT_SUCCESS', 0);
  define('EXIT_FAILURE', 1);
 diff -up ./src/phan.php.rpm ./src/phan.php
---- ./src/phan.php.rpm	2020-01-02 11:12:48.000000000 +0100
-+++ ./src/phan.php	2020-01-02 11:12:56.778690430 +0100
+--- ./src/phan.php.rpm	2020-01-23 08:24:56.790339693 +0100
++++ ./src/phan.php	2020-01-23 08:25:29.007139671 +0100
 @@ -1,3 +1,4 @@
 +#!/usr/bin/env php
- <?php declare(strict_types=1);
+ <?php
  
- // Phan does a ton of GC and this offers a major speed
+ declare(strict_types=1);
 diff -up ./src/Phan/Plugin/ConfigPluginSet.php.rpm ./src/Phan/Plugin/ConfigPluginSet.php
---- ./src/Phan/Plugin/ConfigPluginSet.php.rpm	2020-01-02 11:12:48.000000000 +0100
-+++ ./src/Phan/Plugin/ConfigPluginSet.php	2020-01-02 11:12:56.778690430 +0100
-@@ -767,7 +767,7 @@ final class ConfigPluginSet extends Plug
+--- ./src/Phan/Plugin/ConfigPluginSet.php.rpm	2020-01-23 08:24:56.790339693 +0100
++++ ./src/Phan/Plugin/ConfigPluginSet.php	2020-01-23 08:26:02.086934309 +0100
+@@ -771,7 +771,7 @@ final class ConfigPluginSet extends Plug
       */
-     public static function getBuiltinPluginDirectory() : string
+     public static function getBuiltinPluginDirectory(): string
      {
 -        return \dirname(__DIR__, 3) . '/.phan/plugins';
 +        return \dirname(__DIR__, 2) . '/plugins/';
      }
  
-     private function ensurePluginsExist() : void
+     private function ensurePluginsExist(): void
 diff -up ./src/prep.php.rpm ./src/prep.php
---- ./src/prep.php.rpm	2020-01-02 11:12:48.000000000 +0100
-+++ ./src/prep.php	2020-01-02 11:12:56.778690430 +0100
+--- ./src/prep.php.rpm	2020-01-23 08:24:56.790339693 +0100
++++ ./src/prep.php	2020-01-23 08:26:22.637806720 +0100
 @@ -1,3 +1,4 @@
 +#!/usr/bin/env php
- <?php declare(strict_types=1);
+ <?php
  
- // Phan does a ton of GC and this offers a major speed
+ declare(strict_types=1);
 diff -up ./src/requirements.php.rpm ./src/requirements.php
---- ./src/requirements.php.rpm	2020-01-02 11:12:48.000000000 +0100
-+++ ./src/requirements.php	2020-01-02 11:12:56.778690430 +0100
-@@ -8,10 +8,10 @@ if ((int)phpversion()[0] < 7) {
+--- ./src/requirements.php.rpm	2020-01-23 08:24:27.000000000 +0100
++++ ./src/requirements.php	2020-01-23 08:24:56.790339693 +0100
+@@ -10,10 +10,10 @@ if ((int)phpversion()[0] < 7) {
      exit(1);
  }
  
-- 
cgit