$repos not defined, using {$this->path} instead.
authorNick Jenkins <nickj@users.mediawiki.org>
Fri, 12 Jan 2007 06:39:14 +0000 (06:39 +0000)
committerNick Jenkins <nickj@users.mediawiki.org>
Fri, 12 Jan 2007 06:39:14 +0000 (06:39 +0000)
commit07e6771b69617f1913be0043d92fc39d71318270
tree8567acb08544f5c2009f818daa467f3c2a1c2acc
parentb582d1cdd75e4e3cd1a76d742134e55288c8e599
$repos not defined, using {$this->path} instead.
maintenance/installExtension.php