6 447
modifications
Modifications
Correction sur le nom HotCat iso HotCats
if ( ret ) {
document.editform.wpTextbox1.value = t ;
document.editform.wpSummary.value = summary.join( " ; " ) + " (avec [[MediaWiki:Gadget-HotCatsHotCat.js|HotCatsHotCat]])" ;
document.editform.wpMinoredit.checked = true ;
if ( !prevent_autocommit ) {
