On Wed, Jul 23, 2008 at 10:50 PM, Mohamed Magdy <mohamed.m.k(a)gmail.com>
On Wed, Jul 23, 2008 at 6:54 PM, Tim Starling
I've implemented a new feature, which allows
users to automatically fix
double redirects which are created when they move a page. It's live now
On the page move form, a checkbox is shown, checked by default, labelled
"update any redirects which point to the original title". Jobs are
inserted into the job queue in order to perform the edits. The edits are
performed by a user called "Redirect fixer", or the equivalent localised
by [[MediaWiki:double-redirect-fixer]]. This user is created in the user
table if it doesn't already exist, so it has a valid user ID. Its edits
not show up in Recent Changes.
Before each edit is performed, the redirect fixer will follow the chain
redirects to find the current final destination.
It will then edit the
page to point to that final destination. If there is a circular reference
or invalid redirect, no action is taken. If the page is no longer a
redirect (say because the move was reverted),
then no action is taken.
If the page has changed since the move was performed, the edit is not
The number of job queue threads has been increased.
This feature was inspired by a meeting with White Cat at Wikimania,
the terrible conditions his bots are forced to
work under, shoulder to
shoulder in 15 tiled command prompt windows, fixing double redirects all
day and all night, working their poor little fingers to the bone. It was
Comments would be appreciated.
Thanks Tim for this nice feature. I have changed the user name (also added
the word bot in it) but it isn't registered, I suppose it will be
registered on the next page move with double redirects?
Actually the account was created (without a user creation log entry) before
you edited [[MediaWiki:Double-redirect-fixer]]
I am not sure if the account will be recreated with the new name.
WhiteCat should be relieved now :)
Wikitech-l mailing list