The $IP variable is used in DefaultSettings.php, which means if you change it in LocalSettings.php, you must also override any DefaultSettings.php variable that depends on it.
It seems we we should either:
- Remove all references to $IP in DefaultSettings.php, and use Setup.php (e.g. how $wgStyleDirectory works).
- Document that $IP is now an internal variable and should not be set in LocalSettings.php.
Version: 1.22.0
Severity: normal