diff options
Diffstat (limited to 'phan-autoload.patch')
| -rw-r--r-- | phan-autoload.patch | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/phan-autoload.patch b/phan-autoload.patch index a6704a8..719ab99 100644 --- a/phan-autoload.patch +++ b/phan-autoload.patch @@ -1,8 +1,8 @@ diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php ---- ./src/Phan/Bootstrap.php.rpm 2020-04-13 08:23:03.774426918 +0200 -+++ ./src/Phan/Bootstrap.php 2020-04-13 08:24:38.961073489 +0200 -@@ -132,22 +132,8 @@ if (!function_exists('spl_object_id')) { - require_once dirname(__DIR__) . '/spl_object_id.php'; +--- ./src/Phan/Bootstrap.php.rpm 2020-05-04 10:28:21.581423051 +0200 ++++ ./src/Phan/Bootstrap.php 2020-05-04 10:30:07.345999193 +0200 +@@ -135,22 +135,8 @@ if (extension_loaded('ast')) { + } } -// Use the composer autoloader @@ -27,16 +27,16 @@ 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-04-13 08:22:56.000000000 +0200 -+++ ./src/phan.php 2020-04-13 08:23:03.774426918 +0200 +--- ./src/phan.php.rpm 2020-05-04 10:26:34.000000000 +0200 ++++ ./src/phan.php 2020-05-04 10:28:21.581423051 +0200 @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php declare(strict_types=1); diff -up ./src/Phan/Plugin/ConfigPluginSet.php.rpm ./src/Phan/Plugin/ConfigPluginSet.php ---- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2020-04-13 08:22:56.000000000 +0200 -+++ ./src/Phan/Plugin/ConfigPluginSet.php 2020-04-13 08:23:03.774426918 +0200 +--- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2020-05-04 10:26:34.000000000 +0200 ++++ ./src/Phan/Plugin/ConfigPluginSet.php 2020-05-04 10:28:21.581423051 +0200 @@ -820,7 +820,7 @@ final class ConfigPluginSet extends Plug */ public static function getBuiltinPluginDirectory(): string @@ -47,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 2020-04-13 08:22:56.000000000 +0200 -+++ ./src/prep.php 2020-04-13 08:23:03.774426918 +0200 +--- ./src/prep.php.rpm 2020-05-04 10:26:34.000000000 +0200 ++++ ./src/prep.php 2020-05-04 10:28:21.581423051 +0200 @@ -1,3 +1,4 @@ +#!/usr/bin/env php <?php declare(strict_types=1); diff -up ./src/requirements.php.rpm ./src/requirements.php ---- ./src/requirements.php.rpm 2020-04-13 08:22:56.000000000 +0200 -+++ ./src/requirements.php 2020-04-13 08:23:03.774426918 +0200 +--- ./src/requirements.php.rpm 2020-05-04 10:26:34.000000000 +0200 ++++ ./src/requirements.php 2020-05-04 10:28:21.581423051 +0200 @@ -10,10 +10,10 @@ if ((int)phpversion()[0] < 7) { exit(1); } |