diff options
Diffstat (limited to 'phan-autoload.patch')
| -rw-r--r-- | phan-autoload.patch | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/phan-autoload.patch b/phan-autoload.patch index 0698111..dc5fc92 100644 --- a/phan-autoload.patch +++ b/phan-autoload.patch @@ -1,10 +1,10 @@ diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php ---- ./src/Phan/Bootstrap.php.rpm 2019-05-14 10:31:18.879987819 +0200 -+++ ./src/Phan/Bootstrap.php 2019-05-14 10:32:33.370482249 +0200 -@@ -42,21 +42,8 @@ if (PHP_VERSION_ID < 70100) { - exit(1); +--- ./src/Phan/Bootstrap.php.rpm 2019-11-25 07:24:07.197111533 +0100 ++++ ./src/Phan/Bootstrap.php 2019-11-25 07:25:17.914851384 +0100 +@@ -109,21 +109,9 @@ if (extension_loaded('ast')) { + phan_output_ast_installation_instructions(); + } } - -// Use the composer autoloader -$found_autoloader = false; -foreach ([ @@ -20,23 +20,24 @@ diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php -if (!$found_autoloader) { - fwrite(STDERR, "Could not locate the autoloader\n"); -} ++ +// Use the fedora autoloader +require_once __DIR__ . '/../autoload.php'; define('EXIT_SUCCESS', 0); define('EXIT_FAILURE', 1); diff -up ./src/phan.php.rpm ./src/phan.php ---- ./src/phan.php.rpm 2019-05-14 10:27:30.000000000 +0200 -+++ ./src/phan.php 2019-05-14 10:31:18.880987825 +0200 +--- ./src/phan.php.rpm 2019-11-25 07:23:25.000000000 +0100 ++++ ./src/phan.php 2019-11-25 07:24:07.197111533 +0100 @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php declare(strict_types=1); // Phan does a ton of GC and this offers a major speed diff -up ./src/Phan/Plugin/ConfigPluginSet.php.rpm ./src/Phan/Plugin/ConfigPluginSet.php ---- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2019-05-14 10:31:18.880987825 +0200 -+++ ./src/Phan/Plugin/ConfigPluginSet.php 2019-05-14 10:33:30.750863075 +0200 -@@ -775,7 +775,7 @@ final class ConfigPluginSet extends Plug +--- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2019-11-25 07:23:25.000000000 +0100 ++++ ./src/Phan/Plugin/ConfigPluginSet.php 2019-11-25 07:24:07.197111533 +0100 +@@ -767,7 +767,7 @@ final class ConfigPluginSet extends Plug */ public static function getBuiltinPluginDirectory() : string { @@ -46,16 +47,16 @@ diff -up ./src/Phan/Plugin/ConfigPluginSet.php.rpm ./src/Phan/Plugin/ConfigPlugi private function ensurePluginsExist() : void diff -up ./src/prep.php.rpm ./src/prep.php ---- ./src/prep.php.rpm 2019-05-14 10:27:31.000000000 +0200 -+++ ./src/prep.php 2019-05-14 10:31:18.880987825 +0200 +--- ./src/prep.php.rpm 2019-11-25 07:23:25.000000000 +0100 ++++ ./src/prep.php 2019-11-25 07:24:07.197111533 +0100 @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php declare(strict_types=1); // Phan does a ton of GC and this offers a major speed diff -up ./src/requirements.php.rpm ./src/requirements.php ---- ./src/requirements.php.rpm 2019-05-14 10:27:30.000000000 +0200 -+++ ./src/requirements.php 2019-05-14 10:31:18.880987825 +0200 +--- ./src/requirements.php.rpm 2019-11-25 07:23:25.000000000 +0100 ++++ ./src/requirements.php 2019-11-25 07:24:07.197111533 +0100 @@ -8,10 +8,10 @@ if ((int)phpversion()[0] < 7) { exit(1); } |