diff -up ./src/codebase.php.rpm ./src/codebase.php --- ./src/codebase.php.rpm 2018-10-23 10:37:31.657768196 +0200 +++ ./src/codebase.php 2018-10-23 10:38:09.371967988 +0200 @@ -6,15 +6,8 @@ $internal_interface_name_list = get_decl $internal_trait_name_list = get_declared_traits(); $internal_function_name_list = get_defined_functions()['internal']; -if (file_exists(__DIR__ . '/../vendor/autoload.php')) { - // This is the path to autoload.php when Phan is installed globally. - // @phan-suppress-next-line PhanMissingRequireFile - require_once __DIR__ . '/../vendor/autoload.php'; -} else { - // This is the normal path when Phan is installed only in the scope of a project. - // @phan-suppress-next-line PhanMissingRequireFile - require_once __DIR__ . '/../../../autoload.php'; -} +// Use the fedora autoloader +require_once __DIR__ . '/autoload.php'; use Composer\XdebugHandler\XdebugHandler; use Phan\CodeBase; diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php --- ./src/Phan/Bootstrap.php.rpm 2018-10-23 10:27:56.000000000 +0200 +++ ./src/Phan/Bootstrap.php 2018-10-23 10:37:31.657768196 +0200 @@ -13,16 +13,8 @@ ini_set("memory_limit", '-1'); define('CLASS_DIR', __DIR__ . '/../'); set_include_path(get_include_path() . PATH_SEPARATOR . CLASS_DIR); -// Use the composer autoloader -foreach ([ - __DIR__ . '/../../vendor/autoload.php', // autoloader is in this project - __DIR__ . '/../../../../../vendor/autoload.php', // autoloader is in parent project - ] as $file) { - if (file_exists($file)) { - require_once($file); - break; - } -} +// Use the fedora autoloader +require_once __DIR__ . '/../autoload.php'; define('EXIT_SUCCESS', 0); define('EXIT_FAILURE', 1); diff -up ./src/phan.php.rpm ./src/phan.php --- ./src/phan.php.rpm 2018-10-23 10:27:56.000000000 +0200 +++ ./src/phan.php 2018-10-23 10:37:31.657768196 +0200 @@ -1,3 +1,4 @@ +#!/usr/bin/env php 0) { - $plugin_file_name = __DIR__ . '/../../../.phan/plugins/' . $plugin_file_name . '.php'; + $plugin_file_name = '/usr/share/php/Phan/plugins/' . $plugin_file_name . '.php'; } try { diff -up ./src/prep.php.rpm ./src/prep.php --- ./src/prep.php.rpm 2018-10-23 10:27:56.000000000 +0200 +++ ./src/prep.php 2018-10-23 10:37:31.657768196 +0200 @@ -1,3 +1,4 @@ +#!/usr/bin/env php