diff options
Diffstat (limited to 'phpcpd-rpm.patch')
-rw-r--r-- | phpcpd-rpm.patch | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/phpcpd-rpm.patch b/phpcpd-rpm.patch index 0370cfe..98cd3f8 100644 --- a/phpcpd-rpm.patch +++ b/phpcpd-rpm.patch @@ -1,8 +1,8 @@ diff -up ./phpcpd.rpm ./phpcpd ---- ./phpcpd.rpm 2015-03-26 19:04:39.896182549 +0100 -+++ ./phpcpd 2015-03-26 19:05:35.300399520 +0100 -@@ -15,23 +15,7 @@ if (ini_get('mbstring.internal_encoding' - ini_set('mbstring.internal_encoding', NULL); +--- ./phpcpd.rpm 2020-08-13 11:00:53.656423265 +0200 ++++ ./phpcpd 2020-08-13 11:01:28.205352474 +0200 +@@ -23,22 +23,6 @@ if (version_compare('7.3.0', PHP_VERSION + die(1); } -$loaded = false; @@ -24,5 +24,4 @@ diff -up ./phpcpd.rpm ./phpcpd -} +require '/usr/share/php/SebastianBergmann/PHPCPD/autoload.php'; - $application = new SebastianBergmann\PHPCPD\CLI\Application; - $application->run(); + exit((new \SebastianBergmann\PHPCPD\Application)->run($_SERVER['argv'])); |