mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
ad3a7c95c8
VisualEditor.i18n.php, VisualEditor.php * Button title * New experimental files ve.*.MWAlienExtensionNode.js * Very basic extension of ve.*.MWExtensionNode ve.ui.MWAlienExtensionInspector.js * Default to inline-block for wrapper. Should probably get rid of styled wrappers for GeneratedContent eventually. ve.ui.MWAlienExtensionInspector.js * Basic extension of MWExtensionInspector. Override title to use tag name e.g. '<easytimeline>'. Could be changed in future to 'Extension: easytimeline' or similar. *.png, *.svg, *Icons*.css, ve.ui.MWAlienExtensionButtonTool.js * Angle bracket icon for button (open to suggestions) ve.ui.MWInspector.css * Make extension inspector text input tall by default. Change-Id: I07f0686839192cad3cd8dfd3233ae907fe5cdf6a
57 lines
1.1 KiB
CSS
57 lines
1.1 KiB
CSS
/*!
|
|
* VisualEditor MediaWiki UserInterface raster icon styles.
|
|
*
|
|
* @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-ui-icon-alienextension {
|
|
/* @embed */
|
|
background-image: url(images/icons/alienextension.png);
|
|
}
|
|
|
|
.ve-ui-icon-hiero {
|
|
/* @embed */
|
|
background-image: url(images/icons/hiero.png);
|
|
}
|
|
|
|
.ve-ui-icon-language {
|
|
/* @embed */
|
|
background-image: url(images/icons/language.png);
|
|
}
|
|
|
|
.ve-ui-icon-math {
|
|
/* @embed */
|
|
background-image: url(images/icons/math.png);
|
|
}
|
|
|
|
.ve-ui-icon-parameter {
|
|
/* @embed */
|
|
background-image: url(images/icons/parameter.png);
|
|
}
|
|
|
|
.ve-ui-icon-parameter-set {
|
|
/* @embed */
|
|
background-image: url(images/icons/parameter-set.png);
|
|
}
|
|
|
|
.ve-ui-icon-reference {
|
|
/* @embed */
|
|
background-image: url(images/icons/reference.png);
|
|
}
|
|
|
|
.ve-ui-icon-references {
|
|
/* @embed */
|
|
background-image: url(images/icons/references.png);
|
|
}
|
|
|
|
.ve-ui-icon-source {
|
|
/* @embed */
|
|
background-image: url(images/icons/source.png);
|
|
}
|
|
|
|
.ve-ui-icon-template {
|
|
/* @embed */
|
|
background-image: url(images/icons/template.png);
|
|
}
|