From 2d1ffe9ccd48beca030d5ed50c9ca2940eeefe5b Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Mon, 10 Sep 2018 15:57:20 +0200 Subject: update to 1.0.4 add the upstream plugins raise dependency on felixfbecker/advanced-json-rpc 3.0.3 --- phan-autoload.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'phan-autoload.patch') diff --git a/phan-autoload.patch b/phan-autoload.patch index 287e348..14642fd 100644 --- a/phan-autoload.patch +++ b/phan-autoload.patch @@ -71,3 +71,15 @@ diff -up ./src/requirements.php.rpm ./src/requirements.php ); exit(1); } +diff -up ./src/Phan/Plugin/ConfigPluginSet.php.rpm ./src/Phan/Plugin/ConfigPluginSet.php +--- ./src/Phan/Plugin/ConfigPluginSet.php.rpm 2018-09-10 15:46:45.304166390 +0200 ++++ ./src/Phan/Plugin/ConfigPluginSet.php 2018-09-10 15:47:16.265325009 +0200 +@@ -687,7 +687,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 { -- cgit