Thread:Andrey Andrey/@comment-4224349-20150318224745

I found this script to quickly rename pages, which can most likely be used for renaming File pages as well. Here it is. 