Allow override of extension directory
authorEd Sanders <esanders@wikimedia.org>
Wed, 6 May 2015 12:48:07 +0000 (13:48 +0100)
committerEd Sanders <esanders@wikimedia.org>
Wed, 6 May 2015 18:22:55 +0000 (19:22 +0100)
commitcf2678e24d761d9887469e021a552b7f84862bd1
tree26a67d52d247e0a6341b2219d6a948a410e0e7b4
parentc6ea60543b7b5a2cfca9a6a9bf99f5dfc2f45435
Allow override of extension directory

Also sets default paths immediately (not in Setup.php) so
they are available before extensions register.

Bug: T98319
Change-Id: I41a8aec7a3e9c576ec7344abf51f8106248ade4b
RELEASE-NOTES-1.25
includes/DefaultSettings.php
includes/GlobalFunctions.php
includes/Setup.php