php 有没有将jpg、gif、png转成webp的程序

如题，php 有没有将jpg、gif、png转成webp的程序，程序越简单越好

这个需要折腾一个php的扩展或在服务器安装一个款转换软件，然后用exec调用、执行，后者非常简单