diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
index d88a0b752f3..6776db6b530 100644
--- a/src/Psalm/Config.php
+++ b/src/Psalm/Config.php
@@ -61,6 +61,7 @@
 use function count;
 use function dirname;
 use function explode;
+use function extension_loaded;
 use function file_exists;
 use function file_get_contents;
 use function filetype;