diff options
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 { |