Merge "mw.widgets.TitleWidget: Correct documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Nov 2015 00:12:48 +0000 (00:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Nov 2015 00:12:48 +0000 (00:12 +0000)
commitce1aea55b4d938e9e962c2c06952eb9a9fdd004f
treee7f473e3af146a2159aff62b3ca932c8f843002a
parentf6f98695343a8db06ea6062e04d59ffb3c2480b2
parent79e3503323c90e3d124a59d8ca21e6a2e3f8e637
Merge "mw.widgets.TitleWidget: Correct documentation"