/* General-purpose icons via CSS. Classes here should be named "mw-icon-*". */
-@import "mediawiki.mixins";
+@import 'mediawiki.mixins';
/* For the collapsed and expanded arrows, we also provide selectors to make it
* easy to use them with jquery.makeCollapsible. */