PhpStormでPHPStanに無駄なファイルを解析させないラッパースクリプト

gistfile1.txt

#!/usr/bin/php
<?php
/** @license WTFPL http://www.wtfpl.net/ 2020 tadsan */

$base_dir = dirname(__DIR__) . '/';
$new_argv = [__DIR__ . '/phpstan'];
array_shift($argv);

file_put_contents(__DIR__ . '/../phpstan.log', json_encode($argv, JSON_UNESCAPED_SLASHES) . PHP_EOL, FILE_APPEND);

foreach ($argv as $arg) {
    $new_argv[] = strtr($arg, ['/opt/PHPStantemp_folder/' => $base_dir]);
}

if (PHP_VERSION_ID < 70400) {
    $new_argv = implode(' ', array_map('escapeshellarg', $new_argv));
}
file_put_contents(__DIR__ . '/../phpstan.log', json_encode($new_argv, JSON_UNESCAPED_SLASHES) . PHP_EOL, FILE_APPEND);

$descriptor = [STDIN, STDOUT, STDERR];
$proc = proc_open($new_argv, $descriptor, $pipes);
exit(proc_close($proc));

phpstan-for-phpstorm.php

#!/usr/bin/env php
<?php
/** @license WTFPL http://www.wtfpl.net/ 2020 tadsan */
$new_argv = [__DIR__ . '/path-to-your-phpstan/vendor/bin/phpstan'];
array_shift($argv);

foreach ($argv as $arg) {
    if (strpos($arg, $_SERVER['HOME']) !== 0) {
        $new_argv[] = $arg;
    }
}
$descriptor = [STDIN, STDOUT, STDERR];
$proc = proc_open($new_argv, $descriptor, $pipes);
proc_close($proc);