made --nopatch mode for installExtension.php a bit smarter
authorDaniel Kinzler <daniel@users.mediawiki.org>
Sun, 30 Jul 2006 21:18:40 +0000 (21:18 +0000)
committerDaniel Kinzler <daniel@users.mediawiki.org>
Sun, 30 Jul 2006 21:18:40 +0000 (21:18 +0000)
commita0fae3378e6f66c3b8ca3f30b3cb335f5045fe0a
tree78292494f20588a8a08e884a95da590e1f989ee4
parentcb70aed13e64094d817edd7a73ddf0a8a7367528
made --nopatch mode for installExtension.php a bit smarter
maintenance/installExtension.php