Estou usando o Github: mgdm / Mosquitto-PHP
Eu não sei, mas acho que essa extensão dinâmica não funciona com php 7.1.
Alguém sabe se isso acontece ou não? como instalo o php 7.0 juntamente com o 7.1 para uso cli. Eu não preciso de Mosquitto no Apache.
Obrigado,