Merge "Make mw.widget.TitleWidget more flexible"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Sep 2017 17:53:37 +0000 (17:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Sep 2017 17:53:37 +0000 (17:53 +0000)
commit8029a97549bd12a9111f7d7c3e54cc8ecf07f94b
tree108ccbd2f1093c331edfbe5253857f17ecd71025
parentf624c17a2b9e5ecc77cd6ab24fe756879445b6f6
parent8edf301a9a1e5ca71aa90fa5665c06b49d79661c
Merge "Make mw.widget.TitleWidget more flexible"