Use wgResourceBasePath instead of wgScriptPath for wgStylePath etc.
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 1 Sep 2015 16:13:02 +0000 (18:13 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 1 Sep 2015 16:18:03 +0000 (18:18 +0200)
commit31b41c535b094bdac039d3047d8c9f8365c17575
tree0792f1e3f831df5bc66b4d40559c1ab32b8b2814
parent9d81e0699279a3c426c801649083a16cdfb20d4e
Use wgResourceBasePath instead of wgScriptPath for wgStylePath etc.

This make re-configuring these much easier by only needing to update
one variable instead of four.

Also remove redundant hardcoding of wgStylePath and wgResourceBasePath
in the generated LocalSettings.php file during installation. This way
changing wgScriptPath will naturally result in the other variables
updating too. We already do this for many other variables (such as
wgLoadScript, wgScript, wgExtensionAssetsPath, etc.).

Change-Id: Ide74355b4054c78214c17f3b2d6fa2f5270e0ab9
includes/DefaultSettings.php
includes/Setup.php
includes/installer/LocalSettingsGenerator.php