search: Use @width-breakpoint-tablet instead of @deviceWidthTablet

The file was already importing 'mediawiki.ui/variables', which
defines @width-breakpoint-tablet, but the code itself was still
referring to the deprecated @deviceWidthTablet global variable.

Bug: T140804
Change-Id: I112eb773871d73fde45e0e6bbe3f67baac747213

diff --git a/resources/src/mediawiki.special.search.interwikiwidget.styles.less b/resources/src/mediawiki.special.search.interwikiwidget.styles.less
index 8ec2735..7265399 100644 (file)
--- a/resources/src/mediawiki.special.search.interwikiwidget.styles.less
+++ b/resources/src/mediawiki.special.search.interwikiwidget.styles.less
@@ -101,7 +101,7 @@
 
        /* tablet and up */
 
-       @media only screen and ( min-width: @deviceWidthTablet ) {
+       @media only screen and ( min-width: @width-breakpoint-tablet ) {
 
                #mw-interwiki-results {
                        width: 30%;