config/default_extensions.php.

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