Steps to replicate the issue (include links if applicable):
- Try to rename a WEBM file on Wikimedia Commons. *
This only seems to happen with WEBM files when using the links provided by the Rename template on Wikimedia Commons. I've had no issues renaming any other file types.
What happens?:
Get the error below:
Error while moving the page. A detailed description of the error is shown below:<br/>
API request failed (internal_api_error_DBUnexpectedError): [c57a5b9c-26ab-44e7-8e59-1309c8248527] Caught exception of type Wikimedia\Rdbms\DBUnexpectedError <i>at Fri, 13 Oct 2023 19:29:06 GMT</i> <u>served by mw2352</u>
Files renaming was attempted on that gave this error:
- https://commons.wikimedia.org/wiki/File:2023_Punta_del_Este_Karting_Grand_Prix_-_Saturday_Video_01.webm (looks like this one has since been renamed)
- https://commons.wikimedia.org/wiki/File:2023_Punta_del_Este_Karting_Grand_Prix_-_Saturday_Video_02.webm (this one has since been renamed)
What should have happened instead?:
It should have been renamed.
Other information (browser name/version, screenshots, etc.):
Here's where I originally reported it: https://commons.wikimedia.org/wiki/Commons:Village_pump/Technical#Problems_renaming_WEBM_files