Temporarily removing Upgrader extension thingy
authorBrion Vibber <brion@users.mediawiki.org>
Tue, 10 Jan 2006 20:00:28 +0000 (20:00 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Tue, 10 Jan 2006 20:00:28 +0000 (20:00 +0000)
commit86f779f3e9a90d7b3020dbbe72f625bd469ef894
tree3fe476229e21a8871b19cbe9a8cebbb030f5d36d
parent04fe36a3629cb5729acdd13741e1c92c839788d5
Temporarily removing Upgrader extension thingy
* including code from DefaultSettings is a no-no
* no release-notes entries for major changes?
* not following code formatting standards
* serial version numbers probably not reliable
* HEAD is our production code; maybe try this separately first?
includes/DefaultSettings.php
includes/Setup.php
includes/Upgrader.php [deleted file]