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.