Merge "Remove mention of $wgHTCPMulticastRouting, not present since MW 1.24"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 21 Oct 2018 18:03:42 +0000 (18:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 21 Oct 2018 18:03:42 +0000 (18:03 +0000)
commit93f50a6d18e6ac6fa0a3ed1b91b41db18c920072
treee0fcb0161f095c83172e55033399f0f0b31ff9f6
parent87c652f6825a361dd890e7d9e39b32d003e17e8a
parent5255e01af75234721312bf05508a366280254bed
Merge "Remove mention of $wgHTCPMulticastRouting, not present since MW 1.24"
includes/DefaultSettings.php