From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 20 Aug 2019 15:20:13 +0000 (+0000)
Subject: Merge "TitleOptionWidget: Documentation type fix"
X-Git-Tag: 1.34.0-rc.0~664
X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=34db5e10c0c1695d0a35190e101fa2434f9bbbb8

Merge "TitleOptionWidget: Documentation type fix"
---

34db5e10c0c1695d0a35190e101fa2434f9bbbb8