Diferencia entre revisiones de «MediaWiki:Gadget-CorrectorOrtografico.js»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Amplío corrección por defecto a todos los espacios en uso excepto el de usuario y las discusiones, tras sugerencia de Vivaelcelta en http://es.wikipedia.org?diff=60270311 |
||
Línea 79:
// etc. laden: spart Wartezeit beim Benutzer und Ressourcen auf dem Toolserver
// Standardmäßig RP nur auf Artikelseiten, wenn RPonAllPages "true" RP in allen Seiten
if (mw.config.get( 'wgAction' ) == 'view' && ($.inArray( mw.config.get( 'wgNamespaceNumber' ), [
{
spellcheck();
|