Volker E b64642a527 styles: Remove obsolete mixin ... Duplicated in core mixins with `.user-select()` since v1.38.0. Change-Id: Ia0d36bbd2fd417a7195c235854ddd81ac76e51c1		2023-05-09 18:56:17 -07:00
..
mmv	styles: Remove obsolete mixin	2023-05-09 18:56:17 -07:00
mmv.bootstrap	Remove jquery.tipsy and use OO.ui instead	2023-05-05 16:32:00 +00:00
mmv.bootstrap.autostart	Remove SVG checks	2019-05-18 17:46:20 +02:00
mmv.head	Remove instrumentation	2022-07-05 17:41:24 +00:00
mmv.ui.download.pane	styles: Remove obsolete mixin	2023-05-09 18:56:17 -07:00
mmv.ui.ondemandshareddependencies	eslint: Update eslint-config-wikimedia to 0.16.2	2020-06-26 12:14:27 +01:00
mmv.ui.reuse.shareembed	Use .text( '\u00A0' ) instead of .html( ' ' )	2023-05-01 18:41:48 +00:00
.eslintrc.json	Remove jquery.tipsy and use OO.ui instead	2023-05-05 16:32:00 +00:00