Populate $extensionPath if isset( $extension['path'] )
authorBryan Davis <bd808@wikimedia.org>
Tue, 15 Jul 2014 21:47:32 +0000 (15:47 -0600)
committerBryan Davis <bd808@wikimedia.org>
Tue, 15 Jul 2014 21:50:43 +0000 (15:50 -0600)
commitb57baa047956ab92a6edd334f421a1528c501623
treee84a65defd849356024022899c1628111ade43ca
parent8ad5719e2cda021ac7f1477d2e058f0383175d7b
Populate $extensionPath if isset( $extension['path'] )

$extensionPath is initialized to null and then only set when no cached
vcs information was found. Instead set it to the proper value as soon as
we know that $extension['path'] exists. This will fix display of license
file links for most extensions.

Change-Id: I93bfedf3ae0cb7e6f9e077aa1d83906f7a3283b2
includes/specials/SpecialVersion.php