Merge "Upstream "pulsating dot" widget from VE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Aug 2019 17:23:53 +0000 (17:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Aug 2019 17:23:53 +0000 (17:23 +0000)
commit4858f8afdabb2a1d7c60b7c14b6f4d398056c07e
tree5cdae19855ffcd9ecc00dc161a18d87e3e01b1c5
parent694ca68b234bd7a24f8abba85a2c2288331de1b2
parent37d32f70ea289fcd36bdba71be49dba6b166c154
Merge "Upstream "pulsating dot" widget from VE"
resources/Resources.php