add ons [cinvin] emoji tweaks

When using a custom "Emoji Source" location the files are hard-coded for the png extension. This option allow you to select a different extension such as svg. (See thread 177937 at XenForo.com for reference.) This is a small add-on that will change the file extension of emoji images when served...