3 ms·

Yes, there were plugins for different video formats. A popular one was QuickTime. There were others but QuickTime was popular.