Absolutely. In fact, I've never used the script, but it does the job
according to others who have. But scripted solutions are generally inferior
to server-side code. I eagerly await implementation of "real" rev_deleted.
I've had it on my localhost wiki with no problems for some time, however, we
are waiting on formal code review, I think.
Mike
-----Original Message-----
From: Ilmari Karonen [mailto:nospam@vyznev.net]
Sent: September 2, 2008 1:47 PM
To: Wikimedia developers
Subject: Re: [Wikitech-l] Moving pages
mike.lifeguard wrote:
There is a script which handles this (and restores the
page's original
protection levels in case your forget). One copy is at
http://commons.wikimedia.org/wiki/User:Animum/revdelete.js
Nice to know. However, while the script certainly makes the whole
process easier for the admin doing it, it doesn't actually make it any
less laborious behind the scenes: it's still deleting all revisions of
the page only to immediately restore all but one of them.
Also, while seemingly well written for a JavaScript workaround, it's not
as robust as a server-side solution could be. I suspect all sorts of
unpleasant stuff may happen if you try it on a page with both a very
long edit history and lots of previously deleted revisions.
--
Ilmari Karonen