From 559f97a80009b79d1f95de8ee4acb481ad7e412a Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Thu, 11 Aug 2011 19:10:22 +0000 Subject: [PATCH] I think 3 and a half years is long enough for the redirection to be left around --- maintenance/dumpHTML.php | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 maintenance/dumpHTML.php diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php deleted file mode 100644 index bd94958eb6..0000000000 --- a/maintenance/dumpHTML.php +++ /dev/null @@ -1,7 +0,0 @@ -dumpHTML has moved to the DumpHTML extension. - -WebDAV/SVN: -http://svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/DumpHTML/ - -Web: -http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/DumpHTML/ -- 2.20.1