Add php*-mosquitto extension