Translations:Manual:$wgFavicon/15/en

One icon file can contain multiple images with different resolutions each.