Replace spinner.gif with CSS solution
authorEd Sanders <esanders@wikimedia.org>
Mon, 25 Mar 2019 14:28:55 +0000 (14:28 +0000)
committerBartosz Dziewoński <matma.rex@gmail.com>
Tue, 26 Mar 2019 23:23:09 +0000 (00:23 +0100)
commit425c38ec5132655c25caba4f61208a9518951636
tree717c1f45b12597877772a4d5375717ec03388538
parent480c509de5f144f5dd0e260c3879d3ab5a37bc5b
Replace spinner.gif with CSS solution

Bug: T219163
Change-Id: Icca5c4e01fe4c0ae377245ae7afb456a17626208
resources/Resources.php
resources/src/jquery.spinner/images/spinner-large.gif [deleted file]
resources/src/jquery.spinner/images/spinner.gif [deleted file]
resources/src/jquery.spinner/spinner.css [deleted file]
resources/src/jquery.spinner/spinner.js
resources/src/jquery.spinner/spinner.less [new file with mode: 0644]