Skip to content

Commit ed9d014

Browse files
committed
fix for #643
1 parent aba7635 commit ed9d014

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

build.php

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,4 +102,10 @@ function run(string $base, array $dirs, string $filename, array $ignore)
102102
'vendor/nyholm/psr7/src/Factory/HttplugFactory.php',
103103
];
104104

105-
run(__DIR__, ['vendor/psr', 'vendor/nyholm', 'src'], 'api.php', $ignore);
105+
$directories = ['vendor/psr', 'vendor/nyholm', 'src'];
106+
107+
if (extension_loaded('psr')) {
108+
unset($directories['vendor/psr']);
109+
}
110+
111+
run(__DIR__, $directories, 'api.php', $ignore);

0 commit comments

Comments
 (0)