PHP | Конвертировать TIFF в PNG

Я использую версию PHP 5.3.1, которая работает на Windows Server 2003 R2.

В настоящее время у меня возникла проблема при попытке преобразовать файл TIFF в файл PNG. Я долго искал и обнаружил, что наиболее распространенным способом преобразования изображений в PHP является использование Imagemagick. (Возможно ли конвертировать TIFF в PNG с использованием нативного PHP?)

Проблема, с которой я сталкиваюсь сейчас, заключается в том, что я не могу заставить Imagemagick работать должным образом. Я попытался установить следующие исполняемые файлы на сервере без успеха:

• ImageMagick-6.9.1-2-Q16-x64-dll.exe.
• ImageMagick-6.9.1-2-Q16-x86-dll.exe.
• ImageMagick-6.7.7-5-Q16-окна-dll.exe.
• ImageMagick-6.9.1-2-Q16-x86-static.exe.

После установки я бы попробовал следующий код, чтобы увидеть, работает ли он:

<?php   $image = new imagick("image.TIF"); ?>

Что дает мне следующую ошибку:

Неустранимая ошибка: класс ‘Imagick’ не найден в каталоге в строке 2

Мне было интересно, если кто-то, кто имел дело с этим раньше, может подтолкнуть меня в правильном направлении. Вся помощь очень ценится.