个人维基：更改多个页面的名称

Question

在我的wiki中，我发送了一个添加名为“Exchange”的新命名空间的请求，但添加新命名空间将删除名为“Exchange：blahblah”的所有页面。因此，在请求添加命名空间之前，我需要更改所有这些页面的页面名称。问题是，只有不到1000页，如“交换：blahblah”，更改所有这些页面的名称将花费太多时间。

我的问题是，如果可能的话，我可以如何更改所有这些页面的名称，而无需单独手动更改名称。也就是说，如果我想将每个交换页面从“Exchange：blahblah”更改为“Exchange1：blahblah”，那么有一种快速简便的方法可以将它们全部更改。如果有帮助，所有页面属于同一类别。

非常感谢任何建议。

Answer 1

添加命名空间，然后从shell运行php maintenance/namespaceDupes.php --fix --move-talk。有关详细信息，请参阅its documentation。