diff options
author | Robin Windey <ro.windey@gmail.com> | 2022-04-09 15:13:55 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-09 15:13:55 +0300 |
commit | ce3f41b61dedc103fc1c392e3b6b2c9b202f9536 (patch) | |
tree | ca27328c21298b30995be15c3281bdf166cf3c35 | |
parent | 3e75536851bad74febabf862f0a7324cf7720dba (diff) |
Update lib/PhpStatistics.php
Co-authored-by: Thomas Citharel <github@tcit.fr>
-rw-r--r-- | lib/PhpStatistics.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/PhpStatistics.php b/lib/PhpStatistics.php index b8ebf15..928d1ed 100644 --- a/lib/PhpStatistics.php +++ b/lib/PhpStatistics.php @@ -114,7 +114,7 @@ class PhpStatistics { * * @return array of strings with the names of the loaded extensions */ - protected function getLoadedPhpExtensions(): array { - return (function_exists('get_loaded_extensions') ? get_loaded_extensions() : ['Unable to list extensions']); + protected function getLoadedPhpExtensions(): ?array { + return (function_exists('get_loaded_extensions') ? get_loaded_extensions() : null); } } |