Change Details

MediaViewer tries to guess the name of the thumbnail to win a few hundred milliseconds (see `getUrl` [[ https://git.wikimedia.org/blob/mediawiki%2Fextensions%2FMultimediaViewer/7b12a23f5c62c59bed60e0caddff44f99f2edad6/resources%2Fmmv%2Fprovider%2Fmmv.provider.GuessedThumbnailInfo.js | here ]]), but doesn't replace the file name with "thumbnail" when it's over the abbreviation threshold (see `FileRepo::nameForThumb()`. Requires exposing ` FileRepo::$abbrvThreshold` in the [[ https://www.mediawiki.org/wiki/API:Filerepoinfo | filerepo API ]]. Priority is super low unless this turns out to be the cause of T106517.