Weitere Optionen
Rene (Diskussion | Beiträge) Die Seite wurde neu angelegt: // <nowiki> // Einfaches Hinzufügen und Entfernen von Kategorien in Artikeln. // Von http://commons.wikimedia.org/wiki/MediaWiki:HotCat.js und // http://fr.wikipedia.o... |
Rene (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 160: | Zeile 160: | ||
if ( ret ) { | if ( ret ) { | ||
document.editform.wpTextbox1.value = t ; | document.editform.wpTextbox1.value = t ; | ||
document.editform.wpSummary.value = summary.join( " ; " ) + " (mit [[ | document.editform.wpSummary.value = summary.join( " ; " ) + " (mit [[Hilfe:Erweiterungen#HotCat|HotCat]])" ; | ||
document.editform.wpMinoredit.checked = true ; | document.editform.wpMinoredit.checked = true ; | ||
if ( !prevent_autocommit ) { | if ( !prevent_autocommit ) { | ||