Tvheadend with php iptv mux