Merge "Replace spinner.gif with CSS solution"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Mar 2019 23:45:24 +0000 (23:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Mar 2019 23:45:24 +0000 (23:45 +0000)
commit619eea9cda234e09bd1cf8539a090508afb46061
tree1f77b62c40e5df66bc271ad136a3651f68e745b9
parent064dd53b284f46600aba2818db536d0874c10c89
parent425c38ec5132655c25caba4f61208a9518951636
Merge "Replace spinner.gif with CSS solution"
resources/Resources.php