Topic on Project:Support desk

I am using MW 1.31 here. Before updating the wiki I usually check the differences between the current version (1.31.9) an the new version (1.31.10) by file comparison (WinMerge). I discovered many different filenames in the V1.31.10 version regarding odd named file extensions, so it seems. For example the folder resources\lib\oojs-ui\themes\wikimediaui\images\icons. This folder contains a lot of images as PNG and SVG type. In this folder a lot of files with file extension png in the V1.31.9 version seems to be renamed with pn as file extension in the V1.31.10 version. Same to the SVG files. About 180 files seems to be affected by a disappeared last letter in the V1.31.10 version.

Was this done on purpose, did the devil of mistakes creep in or is there something with my eyes? Many thanks for an answer in advance!

See https://www.mediawiki.org/wiki/Topic:Vume16fs3nfisr6w and https://lists.wikimedia.org/pipermail/mediawiki-announce/2020-September/000261.html

pretty sure its not supposed to be that way.

phab:T263866

Truncation sounds like phab:T258716

If you're already using the old .9 version, please use https://releases.wikimedia.org/mediawiki/1.31/mediawiki-1.31.10-fixup.patch.gz to get to the proper .10 version

I've re-released the .9 and .10 patches with the whitespace fixes

I usually extract the downloaded mediawiki tarballs with 7zip on windows. The unzipped 1.31.9 tarball is fine, the unzipped 1.31.10 tarball comes with truncated filenames. Looking for more information, I found this: phab:T257102. Maybe this "paxfile issue" causes my troubles?

I also checked 1.34.4 and 1.35.0. The files' names are not truncated in these tarballs.

...and both the V1.31.10 ZIP file and tarball I managed to download from github are also not infested with truncation...