Diferencia entre revisiones de «MediaWiki:Gadget-CorrectorOrtografico.js»
Contenido eliminado Contenido añadido
Simplifico las comparaciones del título de la página debidas a las múltiples excepciones |
Añado excepción para el listado de faltas del propio corrector y ordeno todas las excepciones alfabéticamente |
||
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' ), [0, 4, 8, 10, 12, 14, 100, 102, 104]) > -1 && !mw.config.get( 'wgPageName' ).match( "^Wikipedia:(Café|
{
spellcheck();
| |||