Does anybody know this addon?

So I played on this server once with this addon that there was this radio thing. I think you opened it with F3, or something, but I’m not sure. So you would open this radio menu, and it would show a bunch of songs and you could pick one out and play it, and everybody on the server would hear it.
I saw “FragRadio”, but that looks like it is like an actual radio station you can listen to.

This is a custom addon that is just on a lot of servers. I believe there was one that was released for GM12, but it was never converted. Anyways, Frag Radio is probably your best choice.

There is also MXRadio, which is an entity that plays radio stations / online sound files to everyone near the radio.