Merge "MediaWiki.php: Make getUrlDomainDistance() actually static"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 15 Oct 2016 18:00:28 +0000 (18:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 15 Oct 2016 18:00:28 +0000 (18:00 +0000)
commitd96d1264ee39f43f59e624902ce0cf1e0f30e002
tree8f7b273b78745717fd394f94b70347d46faf4c3b
parent34de93fa70e04efb690a8d49e19ba58d75d9f9e5
parente98dc4f3c2ec75a3d2ba91349d303c985df25d99
Merge "MediaWiki.php: Make getUrlDomainDistance() actually static"