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)
commita24cc272b18c50db2cfd9e05d5d11e5ac5a3fb01
tree200cd46c865910272f1bc7e469f6cfdb9c35065a
parentc18123cb90abd9a34c41c5e4f9514ca4d3688ddb
Follow-up r89586: actually delete the file
includes/installer/ExtensionUpdater.php [deleted file]