Known as: fixing clip for plug socket