search: Use @width-breakpoint-tablet instead of @deviceWidthTablet
authorTimo Tijhof <krinklemail@gmail.com>
Thu, 9 Aug 2018 16:54:53 +0000 (17:54 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Thu, 9 Aug 2018 16:56:11 +0000 (17:56 +0100)
commitefc7f7dd9a3cf941b210b437450f79cdc5a63c93
tree7cc3929ca18dfb2a1dcbf16440b038a7601f334e
parent97c35356592bd6dc1ee7fade4131d5e8a4524e2a
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
resources/src/mediawiki.special.search.interwikiwidget.styles.less