Hello again! I've recently been using the Data Transfer extension to automate creation of various pages with similar data. Right now, I have uploaded a bunch of files to use on my wiki, but I also intended to create a redirect for each one of them, so I made a CSV and imported. For some reason, though, the "Title" part didn't detect the "File:" prefix, so it created normal pages with redirect. I wonder if would be possible to move all the pages I'm sending on the TXT below.
Update 2021-03-07: Could this be done with movePage.php or Replace Text's Command Line (https://www.mediawiki.org/wiki/Extension:Replace_Text#Command-line_script:_replaceAll.php)? Unfortunately, it seems like moveBatch.php does not work when moving a page from a namespace to another.
Another thing: Is it possible to delete the message "There was a page here and it was moved/deleted"? Because if is, I would like to delete that on those pages as well, as it wasn't my intention to create them in the first place.