wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-27 15:50:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Edit check: another counter for the save process"

Browse source
This commit is contained in:
jenkins-bot 2024-08-08 08:08:57 +00:00 committed by Gerrit Code Review
parent b0ac08ecce 65b695ea2f
commit 00e4b4cd65
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
editcheck/modules/init.js
View file

@ -335,6 +335,10 @@ if ( mw.config.get( 'wgVisualEditorConfig' ).editCheck || mw.editcheck.ecenable
}
} );
} );
} else {
// Counterpart to earlier preSaveChecksShown, for use in tracking
// errors in check-generation:
ve.track( 'counter.editcheck.preSaveChecksNotShown' );
}
} );
mw.hook( 've.deactivationComplete' ).add( () => {