Wikimedia Bugzilla is closed!

Created attachment 4082 [details]
Adds an option to disable the redirectiong page creation when moving a page to a diferent title.

A common problem when editing pages, especially when begging a projeto, it to use a wrong name to page. You can move it, but this always create a redirection from the old page to the new page. Sometimes, this isn't a desired behaviour. An example: I created a page named '1st workshop on etc' with all the activies that took place in the event. However, that workshop was, actually, the 2nd workshop. A simple solution would be to move the page, but I'd like to register both, 1st and 2nd, workshops in the page. Copy and paste the content to the right page would work too, but I'd lost the change history. The perfect solution would be to rename the page and do not create the redirection.

I created a patch for that. It added a 'redirect' option that will define the behaviour when moving the page, enabling or disabling the redirection. It defaults to true, keeping the previous (default) behaviour. I added an option to Title->moveTo() to set the redirection.  The patch is working fine, but, as it's my first MediaWiki patch, I probably missed something.