Merge "i18n: Clarify the default sidebar 'Help' link is about MediaWiki itself" into...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Dec 2018 12:30:23 +0000 (12:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Dec 2018 12:30:23 +0000 (12:30 +0000)
commit3cb7085490ac5ffde5c1ecaaf166847bbfb16813
treef7e8c08c09130941d4bd2588b80f38536a393b18
parent5a4eb3dd50a885507fd8be330d58e8a2641632fe
parentcbc99caf674fcabedfcff1861414c446c26958d9
Merge "i18n: Clarify the default sidebar 'Help' link is about MediaWiki itself" into REL1_31