Which extensions are installed?