Merge "Add HTML attributes lang and dir to toctitle"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Dec 2017 09:37:47 +0000 (09:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Dec 2017 09:37:47 +0000 (09:37 +0000)
commitffaf2020c4154d79fb954c1676f482e408ba503c
tree30a0b37ad33fcbaa76365b6d67c69c992c14edb9
parentdf3e3f44cb4464851d324a70d272858043223a1a
parent65b888a52088b81b5fa674fbee89fe220f84fc9f
Merge "Add HTML attributes lang and dir to toctitle"