diff options
| author | Remi Collet <remi@remirepo.net> | 2018-09-10 15:57:20 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-09-10 15:57:20 +0200 |
| commit | 2d1ffe9ccd48beca030d5ed50c9ca2940eeefe5b (patch) | |
| tree | e62bdc1df9a5fc178892b7639c5c60bc2244669c /phan-autoload.patch | |
| parent | f54a608a8280ac96f04afdb5fa748ffb14fc5a3b (diff) | |
update to 1.0.4
add the upstream plugins
raise dependency on felixfbecker/advanced-json-rpc 3.0.3
Diffstat (limited to 'phan-autoload.patch')
| -rw-r--r-- | phan-autoload.patch | 12 |
1 files changed, 12 insertions, 0 deletions
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 { |