sourceEditing


Das Gadget sourceEditing ist nicht für Benutzerkonten konfigurierbar.

Es bewirkt Verbesserungen bei Quelltext-Bearbeitungen unterschiedlicher Art im Zusammenhang mit Bearbeitungskommentaren.


sourceEditing
sourceEditing: Verbesserungen bei Quelltext-Bearbeitungen unterschiedlicher Art
EigenschaftZuweisung
ResourceLoaderunterstützt
defaultVorgabe für alle
hiddenversteckt
targetsdesktop
actionsedit
scriptssourceEditing.js
stylessourceEditing.css
* sourceEditing[ResourceLoader|default|hidden|targets=desktop|actions=edit]|sourceEditing.js|sourceEditing.css
Aktive Spezifikation.
/*
 * Falls bei der Seitenbearbeitung vergessen wurde, die Zusammenfassung
 * auszufüllen
 */
.mw-summarymissed {
	border: 5px solid red;
	padding: 2px;
}

/* [[Special:Upload]]: Höheres Feld für die Beschreibung */
textarea#wpUploadDescription {
	height: 20em;
}

Änderungswünsche

Bearbeiten

Bitte auf MediaWiki/Änderungen vorschlagen.