Merge "specials: Declare dynamic properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Sep 2019 16:06:06 +0000 (16:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Sep 2019 16:06:06 +0000 (16:06 +0000)
commitf0d0a041e197843bec5b451ca1f7f2c02d9c3d2e
treeae700d3d813837e67e4aadab80c72774e2e6ab15
parentb8211652a8225d561506d6cb13b6d098120a83c8
parent430d420b0f5676ac22b8e937a3852bafe8bfe4dc
Merge "specials: Declare dynamic properties"