Follow-up r89586: actually delete the file
authorMax Semenik <maxsem@users.mediawiki.org>
Mon, 6 Jun 2011 19:23:36 +0000 (19:23 +0000)
committerMax Semenik <maxsem@users.mediawiki.org>
Mon, 6 Jun 2011 19:23:36 +0000 (19:23 +0000)
includes/installer/ExtensionUpdater.php [deleted file]

diff --git a/includes/installer/ExtensionUpdater.php b/includes/installer/ExtensionUpdater.php
deleted file mode 100644 (file)
index e69de29..0000000