Merge "widget: Improve properties documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Sep 2019 16:04:18 +0000 (16:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Sep 2019 16:04:18 +0000 (16:04 +0000)
commitb8211652a8225d561506d6cb13b6d098120a83c8
treed1c8e447019c237c2b141bc7c0770c071a1e13be
parent30b019ebc3c3b5dc65c163e51a493b5c89714766
parent1f17cc238afbb30de39dc735d3cbe02f001386f4
Merge "widget: Improve properties documentation"