I have opened this bug to require the introduction of a new functionality to the software MediaWiki.
More specifically I would like it was possible the loading of a new version of a file, even if not having the same extension of the original.
Also I would ask you to kindly to ensure that all items bearing that specific file were changed automatically by the software in order to aim automatically to the new name of the file in question.
These my requests are due to the fact that very often it can happen to have to change suddenly extension to a file, but to do this we must necessarily load it with a new name, other than that which should be.
This is all. Of course I rest available for further clarification.