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

Remove unused CSS and icon for old preferences button

Browse source 
Change-Id: I0ba1d1322c4c53fe7fefd92be85fd595198a63c9
This commit is contained in:
Ed Sanders 2016-09-01 17:30:50 -07:00
parent b0f5a46964
commit 0271cdd52d
2 changed files with 0 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
modules/icons/Preferences.png
View file

Binary file not shown.
Side by side

Before

Width:  |  Height:  |  Size: 3.1 KiB

16
modules/nojs/mw.echo.special.less
View file

@ -40,22 +40,6 @@
height: 19px; height: 19px;
width: 19px; width: 19px;
} }
#mw-echo-pref-link {
float: right;
margin: 5px 3px;
/* @embed */
background-image: url(../icons/Preferences.png);
background-repeat: no-repeat;
background-position: 0 0;
filter: alpha(opacity=50);
opacity: 0.5;
&:hover {
filter: alpha(opacity=100);
opacity: 1.0;
}
}
} }
.mw-echo-date-section { .mw-echo-date-section {