PHPStorm stub for Mosquitto-PHP