Upstream "pulsating dot" widget from VE
authorEd Sanders <esanders@wikimedia.org>
Mon, 1 Jul 2019 15:17:52 +0000 (16:17 +0100)
committerJforrester <jforrester@wikimedia.org>
Thu, 25 Jul 2019 20:35:12 +0000 (20:35 +0000)
commit37d32f70ea289fcd36bdba71be49dba6b166c154
treee00c7b889af6635b77fd6fcc5e8bb0ade620b665
parent4e37182c4596c9bb05d0ab7cda8e731a035baced
Upstream "pulsating dot" widget from VE

Bug: T226719
Change-Id: Ibd035ea48b7d0316a7627a91623ff6116ccbae31
resources/Resources.php
resources/src/mediawiki.pulsatingdot/mediawiki.pulsatingdot.less [new file with mode: 0644]