Discussioni MediaWiki:Gadget-charinsert.js

Condizionale

Al momento questo viene caricato incondizionatamente per tutti, non ha senso. Serve racchiudere l'intero codice in un:

if ( mw.config.get( 'wgAction' ) === 'edit' || mw.config.get( 'wgAction' ) === 'submit' ) {
...
}

Peraltro il commento iniziale dice che un pezzo è copiato da Edittools.js, che però è anche incluso in MediaWiki:Common.js: sicuri non ci sia duplicazione? Una volta risolto il problema sopra e verificata la coerenza, si potrebbe anche riattivare come gadget per tutti. --Nemo 13:56, 4 ago 2014 (CEST)

Concordo con la modifica. Per altro noto solo che Edittools.js non è che un "redirect" di MediaWiki:Gadget-charinsert.js, quindi lo eliminerei proprio dal MediaWiki:Common.js. L'if era stato messo li ma è errato, il luogo giusto è questo script. Grazie per la segnalazione. --Andyrom75 (discussioni) 14:13, 4 ago 2014 (CEST)

Mi sembra sia già un gadget di default. Sbaglio? --Andyrom75 (discussioni) 14:17, 4 ago 2014 (CEST)

Appunto, ma ho proposto di disattivarlo finché non si chiarisce la questione. --Nemo 15:58, 4 ago 2014 (CEST)

Gli shortcut a piè schermata di edit sono necessari (un po' come quelli mostrati su it:w), quindi è meglio che il singolo utente lo disattivi su base volontaria. --Andyrom75 (discussioni) 17:05, 4 ago 2014 (CEST)