diff options
Diffstat (limited to 'build/gen-coverage-badge.php')
| -rw-r--r-- | build/gen-coverage-badge.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/gen-coverage-badge.php b/build/gen-coverage-badge.php index b610b2748d6..0164951fc1c 100644 --- a/build/gen-coverage-badge.php +++ b/build/gen-coverage-badge.php @@ -52,7 +52,7 @@ try { } $content = file_get_contents("https://img.shields.io/badge/coverage-$percent%-$color.svg"); file_put_contents('coverage.svg', $content); -} catch(Exception $ex) { +} catch (Exception $ex) { echo $ex->getMessage() . PHP_EOL; $content = file_get_contents("https://img.shields.io/badge/coverage-ERROR-red.svg"); file_put_contents('coverage.svg', $content); |