diff options
| author | Remi Collet <remi@remirepo.net> | 2019-02-04 10:06:11 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-02-04 10:06:11 +0100 |
| commit | f5e3e066bd8df6b7a9f84010bd6f97bdab2e2fa9 (patch) | |
| tree | aa44fa91ead489d9259f9772e8ce2ceec6d4887a /phan-autoload.patch | |
| parent | 52b09e649412c7abe6645c53e70131aff4a62874 (diff) | |
v1.2.2
Diffstat (limited to 'phan-autoload.patch')
| -rw-r--r-- | phan-autoload.patch | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/phan-autoload.patch b/phan-autoload.patch index b07aee3..4ae0120 100644 --- a/phan-autoload.patch +++ b/phan-autoload.patch @@ -1,6 +1,6 @@ diff -up ./src/codebase.php.rpm ./src/codebase.php ---- ./src/codebase.php.rpm 2018-11-28 08:26:01.448459434 +0100 -+++ ./src/codebase.php 2018-11-28 08:26:30.948615865 +0100 +--- ./src/codebase.php.rpm 2019-02-04 09:48:33.000000000 +0100 ++++ ./src/codebase.php 2019-02-04 09:48:43.437084347 +0100 @@ -6,15 +6,8 @@ $internal_interface_name_list = get_decl $internal_trait_name_list = get_declared_traits(); $internal_function_name_list = get_defined_functions()['internal']; @@ -20,8 +20,8 @@ diff -up ./src/codebase.php.rpm ./src/codebase.php use Composer\XdebugHandler\XdebugHandler; use Phan\CodeBase; diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php ---- ./src/Phan/Bootstrap.php.rpm 2018-11-28 08:22:11.000000000 +0100 -+++ ./src/Phan/Bootstrap.php 2018-11-28 08:22:18.140291232 +0100 +--- ./src/Phan/Bootstrap.php.rpm 2019-02-04 09:48:33.000000000 +0100 ++++ ./src/Phan/Bootstrap.php 2019-02-04 09:48:43.437084347 +0100 @@ -13,16 +13,8 @@ ini_set("memory_limit", '-1'); define('CLASS_DIR', __DIR__ . '/../'); set_include_path(get_include_path() . PATH_SEPARATOR . CLASS_DIR); @@ -42,36 +42,36 @@ 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 2018-11-28 08:22:11.000000000 +0100 -+++ ./src/phan.php 2018-11-28 08:22:18.140291232 +0100 +--- ./src/phan.php.rpm 2019-02-04 09:48:33.000000000 +0100 ++++ ./src/phan.php 2019-02-04 09:48:43.437084347 +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 2018-11-28 08:22:11.000000000 +0100 -+++ ./src/Phan/Plugin/ConfigPluginSet.php 2018-11-28 08:22:18.141291237 +0100 -@@ -724,7 +724,7 @@ final class ConfigPluginSet extends Plug - // E.g. 'AlwaysReturnPlugin' becomes /path/to/phan/.phan/plugins/AlwaysReturnPlugin.php - // (Useful when using phan.phar, etc.) - if (\preg_match('@^[a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f-\xff]*$@', $plugin_file_name) > 0) { -- $plugin_file_name = __DIR__ . '/../../../.phan/plugins/' . $plugin_file_name . '.php'; -+ $plugin_file_name = '/usr/share/php/Phan/plugins/' . $plugin_file_name . '.php'; - } - - try { +--- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2019-02-04 09:48:43.437084347 +0100 ++++ ./src/Phan/Plugin/ConfigPluginSet.php 2019-02-04 09:50:11.185598376 +0100 +@@ -727,7 +727,7 @@ final class ConfigPluginSet extends Plug + public static function normalizePluginPath(string $plugin_file_name) : string + { + if (\preg_match('@^[a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f-\xff]*$@', $plugin_file_name) > 0) { +- return dirname(dirname(dirname(__DIR__))) . '/.phan/plugins/' . $plugin_file_name . '.php'; ++ return '/usr/share/php/Phan/plugins/' . $plugin_file_name . '.php'; + } + return $plugin_file_name; + } diff -up ./src/prep.php.rpm ./src/prep.php ---- ./src/prep.php.rpm 2018-11-28 08:22:11.000000000 +0100 -+++ ./src/prep.php 2018-11-28 08:22:18.141291237 +0100 +--- ./src/prep.php.rpm 2019-02-04 09:48:33.000000000 +0100 ++++ ./src/prep.php 2019-02-04 09:48:43.437084347 +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 2018-11-28 08:22:11.000000000 +0100 -+++ ./src/requirements.php 2018-11-28 08:22:18.141291237 +0100 +--- ./src/requirements.php.rpm 2019-02-04 09:48:33.000000000 +0100 ++++ ./src/requirements.php 2019-02-04 09:48:43.438084353 +0100 @@ -8,10 +8,10 @@ if ((int)phpversion()[0] < 7) { exit(1); } |