From 7308909be72c18d2203f7bc089df0ab2aef3241b Mon Sep 17 00:00:00 2001
From: Timo Tijhof <krinklemail@gmail.com>
Date: Thu, 9 Aug 2018 17:57:33 +0100
Subject: [PATCH] Use @width-breakpoint-tablet instead of @deviceWidthTablet

Use the 'mediawiki.ui/variables' module instead of the deprecated
implied global variable.

Bug: T140804
Change-Id: Ib1b2808df2384473bfac47f53a5d25d7c9bbca2b
---
 responsive.less | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/responsive.less b/responsive.less
index 3877e2b..242d0a7 100644
--- a/responsive.less
+++ b/responsive.less
@@ -3,8 +3,9 @@
 	instead of to the side of it. They also hide the logo, as there's no space
 	left for it.
 */
+@import 'mediawiki.ui/variables';
 
-@media screen and ( max-width: @deviceWidthTablet ) {
+@media screen and ( max-width: @width-breakpoint-tablet ) {
 	#mw-head {
 		position: static !important; /* stylelint-disable-line declaration-no-important */
 		margin-top: 0.5em;