URL encoding for file link after upload

[Sikander Iqbal]

File name includes:

Mohammad Akram Khpalwāk

Post upload, link to Wikimedia Commons shows as:

<a target="_blank" href="//commons.wikimedia.org/wiki/File:Mohammad%20Akram%20Khpalw%u0101k%20and%20Karim%20Khalili%20with%20John%20Sullivan%20-%202018%20%2839297711844%29.jpg">

Clicking this shows a 400 Bad Request:

https://commons.wikimedia.org/wiki/File:Mohammad%20Akram%20Khpalw%u0101k%20and%20Karim%20Khalili%20with%20John%20Sullivan%20-%202018%20%2839297711844%29.jpg

This should be:

https://commons.wikimedia.org/wiki/File:Mohammad_Akram_Khpalw%C4%81k_and_Karim_Khalili_with_John_Sullivan_-_2018_(39297711844).jpg

Text file attached in case the URL encoding gets messed up.

[Magnus Manske]

Resolved with new tool version.

[Sikander Iqbal]

Thank you!

Verified with upload: https://commons.wikimedia.org/wiki/File:CSF_-Comiss%C3%A3o_Senado_do_Futuro(39802815445).jpg