[01:48:56] <tgr>	 apparently deleteOldRevisions.php tries to load the entire revision table into memory...
[01:51:54] <tgr>	 we seem to doing a better job archiving old and useless extensions than archiving old and useless maintenance scripts
[04:40:02] <TimStarling>	 tgr: it was useless from the outset
[04:40:34] <TimStarling>	 contributed by a third party user; we said fine, whatever
[04:42:11] <tgr>	 yeah, I imagine Wikimedia didn't have much need for erasing article history
[04:42:22] <tgr>	 maybe we should just kill it then?
[04:43:34] <tgr>	 or shove all the not-really-used maintenance scripts into an extension
[05:02:38] <TimStarling>	 maybe
[08:59:06] <Reedy>	 It seems somewhat wrong too
[08:59:06] <Reedy>	 		# Inform the user of what we're going to do
[08:59:07] <Reedy>	 		$count = count( $oldRevs );
[08:59:07] <Reedy>	 		$this->output( "$count old revisions found.\n" );
[08:59:20] <Reedy>	 That's not informing them of what is going to be done
[20:08:22] <Krinkle>	 #comments-dont-run