[Bug 62950] Installer incorrectly adds port 4215 to $wgServer in the wmf tool labs environment.

https://bugzilla.wikimedia.org/show_bug.cgi?id=62950 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Low -- You are

[Bug 62950] Installer incorrectly adds port 4215 to $wgServer in the wmf tool labs environment.

https://bugzilla.wikimedia.org/show_bug.cgi?id=62950 Bawolff (Brian Wolff) bawolff...@gmail.com changed: What|Removed |Added CC|

[Bug 62950] Installer incorrectly adds port 4215 to $wgServer in the wmf tool labs environment.

https://bugzilla.wikimedia.org/show_bug.cgi?id=62950 Kevin Israel (PleaseStand) pleasest...@live.com changed: What|Removed |Added CC|

[Bug 62950] Installer incorrectly adds port 4215 to $wgServer in the wmf tool labs environment.

https://bugzilla.wikimedia.org/show_bug.cgi?id=62950 --- Comment #3 from Bawolff (Brian Wolff) bawolff...@gmail.com --- That'd be cool. We should also keep in mind that sometimes people install mediawiki from a domain that's different from where user's would access it (aka person installs from