mediawiki-extensions-Visual.../modules/ve-mw/ce/styles/nodes/ve.ce.MWImageNode.css

/*!
 * VisualEditor ContentEditable MediaWiki MWImageNode styles.
 *
 * @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-ce-mwImageNode-audioPlayer {
	/* stylelint-disable-next-line declaration-no-important */
	background: #fff url( images/audioPlayer.svg ) !important;
	/* Force the original image 'src' offscreen, so that the background shows */
	/* stylelint-disable-next-line declaration-no-important */
	height: 0 !important;
	padding-top: 32px;
}
Improve rendering of audio files (for real this time) ve.dm.MWImageNode: * Define sensible scalable properties for audio files. They are now scalable to any width but have a fixed height. (Ideally they would have no concept of height, but that would require many more changes.) This prevents them from resetting to 0x0 when resized. ve.ce.MWBlockImageNode: * Remove override for #isResizable, audio files can be resized now. * Move #updateMediaType to MWImageNode mixin so it applies to MWInlineImageNode as well. ve.ce.MWImageNode: * Add #updateMediaType from MWBlockImageNode. * Hide the real image 'src' using CSS rather than changing the attribute. It seems the previous solution depended on the order in which methods are called, because it stopped working when I moved the code here. (This depends on VE/VE change If5b1b5b5d.) audioPlayer.svg: * Make the file nicely resizeable. The dimensions of the "play" icon and time are fixed, the bar adjusts to the width of the container. Bug: T206022 Change-Id: Ia0f38ca11e0d55a5b725fd9aeb6c79ec1345376d 2020-02-14 01:23:00 +00:00			`/*!`
			`* VisualEditor ContentEditable MediaWiki MWImageNode styles.`
			`*`
			`* @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt`
			`* @license The MIT License (MIT); see LICENSE.txt`
			`*/`

			`.ve-ce-mwImageNode-audioPlayer {`
			`/* stylelint-disable-next-line declaration-no-important */`
			`background: #fff url( images/audioPlayer.svg ) !important;`
			`/* Force the original image 'src' offscreen, so that the background shows */`
			`/* stylelint-disable-next-line declaration-no-important */`
			`height: 0 !important;`
			`padding-top: 32px;`
			`}`