wikimedia /
mediawiki
| @@ 46-55 (lines=10) @@ | ||
| 43 | CSSMin::buildUrlValue( $logo1 ) . |
|
| 44 | '; }'; |
|
| 45 | if ( $logoHD ) { |
|
| 46 | if ( isset( $logoHD['1.5x'] ) ) { |
|
| 47 | $styles[ |
|
| 48 | '(-webkit-min-device-pixel-ratio: 1.5), ' . |
|
| 49 | '(min--moz-device-pixel-ratio: 1.5), ' . |
|
| 50 | '(min-resolution: 1.5dppx), ' . |
|
| 51 | '(min-resolution: 144dpi)' |
|
| 52 | ][] = '.mw-wiki-logo { background-image: ' . |
|
| 53 | CSSMin::buildUrlValue( $logo15 ) . ';' . |
|
| 54 | 'background-size: 135px auto; }'; |
|
| 55 | } |
|
| 56 | if ( isset( $logoHD['2x'] ) ) { |
|
| 57 | $styles[ |
|
| 58 | '(-webkit-min-device-pixel-ratio: 2), ' . |
|
| @@ 56-65 (lines=10) @@ | ||
| 53 | CSSMin::buildUrlValue( $logo15 ) . ';' . |
|
| 54 | 'background-size: 135px auto; }'; |
|
| 55 | } |
|
| 56 | if ( isset( $logoHD['2x'] ) ) { |
|
| 57 | $styles[ |
|
| 58 | '(-webkit-min-device-pixel-ratio: 2), ' . |
|
| 59 | '(min--moz-device-pixel-ratio: 2),' . |
|
| 60 | '(min-resolution: 2dppx), ' . |
|
| 61 | '(min-resolution: 192dpi)' |
|
| 62 | ][] = '.mw-wiki-logo { background-image: ' . |
|
| 63 | CSSMin::buildUrlValue( $logo2 ) . ';' . |
|
| 64 | 'background-size: 135px auto; }'; |
|
| 65 | } |
|
| 66 | } |
|
| 67 | return $styles; |
|
| 68 | } |
|
