Antenna cable connectors need replacing

When I was repairing the hinge of my laptop two of the antenna cable connectors came off the ends of the antenna wires. Can someone confirm what these are called and the size so I can source replacements? I believe they may be called ’Micro RF Coax Connector’ but I am not sure what size I need. For the record the wifi is actually still working but may be a bit slower than normal. Thanks for your help.