From: Bartosz Dziewoński Date: Mon, 17 Nov 2014 22:41:29 +0000 (+0100) Subject: mediawiki.legacy.oldshared: Copy missing image and add SVG version X-Git-Tag: 1.31.0-rc.0~13060^2 X-Git-Url: http://git.cyclocoop.org/ecrire?a=commitdiff_plain;h=bd2f5301f8a2ba968164fded488d953126f7ef08;p=lhc%2Fweb%2Fwiklou.git mediawiki.legacy.oldshared: Copy missing image and add SVG version Copied images from mediawiki.skinning. Change-Id: If58832e59c6f04ce5ef8ee39d821708098f8952e --- diff --git a/resources/src/mediawiki.legacy/images/magnify-clip-ltr.png b/resources/src/mediawiki.legacy/images/magnify-clip-ltr.png new file mode 100644 index 0000000000..712b1b4822 Binary files /dev/null and b/resources/src/mediawiki.legacy/images/magnify-clip-ltr.png differ diff --git a/resources/src/mediawiki.legacy/images/magnify-clip-ltr.svg b/resources/src/mediawiki.legacy/images/magnify-clip-ltr.svg new file mode 100644 index 0000000000..4d3dcb65d6 --- /dev/null +++ b/resources/src/mediawiki.legacy/images/magnify-clip-ltr.svg @@ -0,0 +1,7 @@ + + + + + + + diff --git a/resources/src/mediawiki.legacy/images/magnify-clip-rtl.png b/resources/src/mediawiki.legacy/images/magnify-clip-rtl.png new file mode 100644 index 0000000000..1d03a8c0ce Binary files /dev/null and b/resources/src/mediawiki.legacy/images/magnify-clip-rtl.png differ diff --git a/resources/src/mediawiki.legacy/images/magnify-clip-rtl.svg b/resources/src/mediawiki.legacy/images/magnify-clip-rtl.svg new file mode 100644 index 0000000000..582e4ae7c9 --- /dev/null +++ b/resources/src/mediawiki.legacy/images/magnify-clip-rtl.svg @@ -0,0 +1,7 @@ + + + + + + + diff --git a/resources/src/mediawiki.legacy/oldshared.css b/resources/src/mediawiki.legacy/oldshared.css index d92d3bb99d..c2bd5a7304 100644 --- a/resources/src/mediawiki.legacy/oldshared.css +++ b/resources/src/mediawiki.legacy/oldshared.css @@ -119,8 +119,12 @@ div.magnify a { /* …and replace it with the image */ width: 15px; height: 11px; - /* @embed */ + /* Use same SVG support hack as mediawiki.legacy's shared.css */ background: url(images/magnify-clip-ltr.png) center center no-repeat; + /* @embed */ + background-image: -webkit-linear-gradient(transparent, transparent), url(images/magnify-clip-ltr.svg); + /* @embed */ + background-image: linear-gradient(transparent, transparent), url(images/magnify-clip-ltr.svg); /* Don't annoy people who copy-paste everything too much */ -moz-user-select: none; -webkit-user-select: none;