summaryrefslogtreecommitdiffstats
path: root/phan-autoload.patch
diff options
context:
space:
mode:
Diffstat (limited to 'phan-autoload.patch')
-rw-r--r--phan-autoload.patch38
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);
}