diff options
Diffstat (limited to 'phan-autoload.patch')
| -rw-r--r-- | phan-autoload.patch | 38 |
1 files changed, 19 insertions, 19 deletions
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); } |