====Allow SVG images====
See https://www.mediawiki.org/wiki/Manual:Image_administration#SVG . Essentially, add svg to $wgFileExtensions, then install and designate an image converter. I went with rsvg:
apt-get install librsvg2-bin
vi LocalSettings.php