Merge "Declare dynamic properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 Sep 2019 15:53:25 +0000 (15:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 Sep 2019 15:53:25 +0000 (15:53 +0000)
commitfbba262dc3b0627fb10b08d1c46f31d1599dfc91
tree66b7bf6ecda0bbb541451a95d70aaa4fdc6e9a1d
parent0705929343a7fbd3417a475cd0c9a0dfe53c3dc4
parent290ab29617d830d20cdc72cb9e5e199f5e091d9d
Merge "Declare dynamic properties"