Saving an SVG from DevTools

When you copy the code of an svg element from DevTools you need to paste the following into the svg tag in order to save it as a .svg file and have it work. This is just so it's here for me to remember.

xmlns="http://www.w3.org/2000/svg"