[20:57:09] <jfolv>	 Quick and easy question. Where is the icon version of the logo used when you set it via $wgLogos?
[20:57:19] <jfolv>	 The one that wants an SVG.
[20:58:32] <Reedy>	 where?
[20:58:39] <Reedy>	 https://www.mediawiki.org/wiki/Manual:$wgLogos