Wikipedia:Technik/Skin/Gadgets/sourceEditing
sourceEditing
Das Gadget sourceEditing ist nicht für Benutzerkonten konfigurierbar.
Es bewirkt Verbesserungen bei Quelltext-Bearbeitungen unterschiedlicher Art im Zusammenhang mit Bearbeitungskommentaren.
sourceEditing: Verbesserungen bei Quelltext-Bearbeitungen unterschiedlicher Art | |
Eigenschaft | Zuweisung |
---|---|
ResourceLoader | unterstützt |
default | Vorgabe für alle |
hidden | versteckt |
targets | desktop |
actions | edit |
scripts | sourceEditing.js |
styles | sourceEditing.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
[Quelltext bearbeiten]Bitte auf MediaWiki/Änderungen vorschlagen.