Bartosz Dziewoński ac549d9c70 mobile.editor.ve: Simplify margin/padding for debug bar ... Requires Ia13f758a6870be2e6c89fd11f2ee3544ac61a1d7 in mediawiki/extensions/VisualEditor to be merged at the same time. There should be no visual change if both are merged. The goal of this change is to stop using variables from minerva.variables, and thus to be able to move this file to mediawiki/extensions/MobileFrontend (T202978). Bug: T202978 Change-Id: I28278449512ed1e5e8c4ac6ae390334a26d1bad6		2018-09-17 22:28:07 +02:00
..
minerva.less	mobile.editor.ve: Simplify margin/padding for debug bar	2018-09-17 22:28:07 +02:00