https://bugzilla.wikimedia.org/show_bug.cgi?id=54483
Web browser: ---
Bug ID: 54483
Summary: $IP used in DefaultSettings
Product: MediaWiki
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Installer
Assignee: [email protected]
Reporter: [email protected]
Classification: Unclassified
Mobile Platform: ---
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:
1. Remove all references to $IP in DefaultSettings.php, and use Setup.php (e.g.
how $wgStyleDirectory works).
2. Document that $IP is now an internal variable and should not be set in
LocalSettings.php.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
