(k) fix minor glitch in installExtension.php
authorDaniel Kinzler <daniel@users.mediawiki.org>
Tue, 1 Aug 2006 12:52:25 +0000 (12:52 +0000)
committerDaniel Kinzler <daniel@users.mediawiki.org>
Tue, 1 Aug 2006 12:52:25 +0000 (12:52 +0000)
commit61202f72306c13305d8383b23a146f1744341e60
tree2091aff4abeff37c57a9437b400283d250d25591
parent3b334cd7d27c0f5774d60f48b6cb7e295fcccc00
(k) fix minor glitch in installExtension.php
maintenance/installExtension.php