wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make animation mixin cleaner

Browse source 
Change-Id: I5103daf43112d5a412c030dd90fda67a08469885
This commit is contained in:
Prateek Saxena 2014-02-25 19:20:53 +05:30
parent 9be5be6879
commit 1b82d9b969
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
resources/ext.popups.animation.less
View file

@ -6,12 +6,11 @@
transform: translate(@x, @y); transform: translate(@x, @y);
} }
.mwe-popups-animation ( @name, @duration ) { .mwe-popups-animation ( ... ) {
-webkit-animation: @name @duration; -webkit-animation: @arguments;
-moz-animation: @name @duration; -moz-animation: @arguments;
-ms-animation: @name @duration; -o-animation: @arguments;
-o-animation: @name @duration; animation: @arguments;
animation: @name @duration;
} }
@-webkit-keyframes mwe-popups-fade-in { @-webkit-keyframes mwe-popups-fade-in {