Were these necessary given that we already had the OBSOLETE file in them? These extensions now cannot be downloaded with Special:ExtensionDistributor, and all old links pointing to SVN locations stopped working (e.g. links on mw.org). I think there are still plenty of people out there that might have older MediaWiki installs and might want these or other obsolete extensions.

r.

------------------------------------------------------------------------ r38458 | siebrand | 2008-08-03 01:30:40 +0200 (Sun, 03 Aug 2008) | 1 line Changed paths: D /trunk/extensions/Userip

Remove Userip. Obsolete since 29 December 2007 (r29006). Last available code can be found in 1.13 branch. ------------------------------------------------------------------------ r38457 | siebrand | 2008-08-03 01:29:00 +0200 (Sun, 03 Aug 2008) | 1 line Changed paths: D /trunk/extensions/SubpageList

Remove SubpageList. Obsolete since 10 February 2008 (r30807). Last available code can be found in 1.13 branch. ------------------------------------------------------------------------ r38456 | siebrand | 2008-08-03 01:26:56 +0200 (Sun, 03 Aug 2008) | 1 line Changed paths: D /trunk/extensions/LuceneSearch

Remove LuceneSearch. Obsolete since 22 March 2008 (r32332). Last available code can be found in 1.13 branch. ------------------------------------------------------------------------ r38455 | siebrand | 2008-08-03 01:23:52 +0200 (Sun, 03 Aug 2008) | 1 line Changed paths: D /trunk/extensions/AutomaticGroups