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