Merge "Use Linker::linkKnown for some links to MediaWiki pages from navigation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Jun 2015 19:05:05 +0000 (19:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Jun 2015 19:05:05 +0000 (19:05 +0000)
commit2423f74d6e7565bfbe9f4d374d360e7af6ad138f
treed21e35126fb59e5a35535a7546581377b461eea0
parent6a35b1f5003fbe1bc6565436e0b250d4b02e0a2c
parentf32e0cdd3acdb74a07dc3c62c640befb19dd9ac9
Merge "Use Linker::linkKnown for some links to MediaWiki pages from navigation"