config/default_extensions.php.
Файл определяет какие используются расширения.