PHP: Как преобразовать изображения PNG, JPEG, GIF и JPG в формат WebP

Полный PHP-код, демонстрирующий, как преобразовать изображения в формате PNG, JPEG, GIF и JPG в формат WebP с помощью стандартной библиотеки GD. Код проверяет тип исходного изображения и выполняет соответствующую операцию для каждого формата:
<?php
// Входной файл
$filePath = 'input.png'; // сюда подставьте путь к файлу

// Проверяем тип файла
switch (exif_imagetype($filePath)) {
    case IMAGETYPE_JPEG:
        $sourceImg = imagecreatefromjpeg($filePath);
        break;
    case IMAGETYPE_PNG:
        $sourceImg = imagecreatefrompng($filePath);
        break;
    case IMAGETYPE_GIF:
        $sourceImg = imagecreatefromgif($filePath);
        break;
    default:
        die('Неподдерживаемый формат изображения.');
}

// Проверяем, поддерживается ли формат WebP
if (!function_exists('imagewebp')) {
    die('Библиотека GD не поддерживает формат WebP.');
}

// Создаем выходной файл в формате WebP
$outputFile = 'output.webp';

// Качество изображения
...